7.4.0.7
Daniel Feltey
|
Research [Scribble bibliography]
How to Evaluate the Performance of Gradual Type Systems [JFP 2019]
Collapsible Contracts: Fixing a Pathology of Gradual Typing [OOPSLA 2018]
Herbarium Racketensis: A Stroll Through the Woods [ICFP 2017]
A Coq Library for Internal Verification of Running-Times [FLOPS 2016]
Master’s Thesis: Gradual Typing for First-Class Modules