8 citations · 11 across the 9 of their papers we have counts for
Showing 2018 · cs.PLShow all
3 papers · 2 filters
cs.PL2018
Gradual Type Theory (Extended Version)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. While existing gradual type…
cs.PL2018★ 1 cited
Graduality from Embedding-projection Pairs (Extended Version)
Max S. New, Amal Ahmed
Gradually typed languages allow statically typed and dynamically typed code to interact while maintaining benefits of both styles. The key to reasoning about these mixed programs i…
cs.PL2018★ 8 cited
Call-by-name Gradual Type Theory
Max S. New, Daniel R. Licata
We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and typ…