3 papers
cs.PL2020
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
Max S. New, Sam Lindley
This volume contains the proceedings of the Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020). The meeting was originally scheduled to take place in D…
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
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…