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

2018

SPLASH

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

Committee Member in Artifact Evaluation Committee

2017

ICFP

Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track

2016

LWC@SLE

Author of Languages the Racket Way: Submission to the 2016 Language Workbench Challenge within the LWC-track

POPL

Author of Is Sound Gradual Typing Dead? within the Research Papers-track

2015

ECOOP

Author of Towards Practical Gradual Typing within the Research Track-track

STOP

Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track