Daniel Feltey

Registered user since Tue 6 Sep 2016

Name: Daniel Feltey

Affiliation: Northwestern University, USA

Personal website: http://eecs.northwestern.edu/u/daniel.feltey/

Contributions

SPLASH 2018	Author of Collapsible Contracts: Fixing a Pathology of Gradual Typing within the OOPSLA-track Author of Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing within the Artifacts-track
PLDI 2018	Committee Member in Artifact Evaluation Committee
ICFP 2017	Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track
LWC@SLE 2016	Author of Languages the Racket Way: Submission to the 2016 Language Workbench Challenge within the LWC-track
POPL 2016	Author of Is Sound Gradual Typing Dead? within the Research Papers-track
STOP 2015	Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track
ECOOP 2015	Author of Towards Practical Gradual Typing within the Research Track-track