Follow
Max S. New
Title
Cited by
Cited by
Year
Is sound gradual typing dead?
A Takikawa, D Feltey, B Greenman, MS New, J Vitek, M Felleisen
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
1202016
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
642016
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 15, 2019
632019
Graduality and parametricity: together again for the first time
MS New, D Jamner, A Ahmed
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
262019
Graduality from embedding-projection pairs
MS New, A Ahmed
Proceedings of the ACM on Programming Languages 2 (ICFP), 73, 2018
232018
How to evaluate the performance of gradual type systems
B Greenman, A Takikawa, MS New, D Feltey, RB Findler, J Vitek, ...
Journal of Functional Programming 29, 2019
212019
Oh Lord, Please Don’t Let Contracts Be Misunderstood
C Dimoulas, MS New, RB Findler, M Felleisen
ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on …, 2016
192016
A Coq library for internal verification of running-times
J McCarthy, B Fetscher, M New, D Feltey, RB Findler
International Symposium on Functional and Logic Programming, 144-162, 2016
152016
Call-by-name gradual type theory
MS New, DR Licata
3rd International Conference on Formal Structures for Computation and …, 2018
122018
A Coq library for internal verification of running-times
J McCarthy, B Fetscher, MS New, D Feltey, RB Findler
Science of Computer Programming 164, 49-65, 2018
112018
FabULous Interoperability for ML and a Linear Language
G Scherer, M New, N Rioux, A Ahmed
International Conference on Foundations of Software Science and Computation …, 2018
82018
Fair enumeration combinators
MS New, B Fetscher, RB Findler, J McCarthy
Journal of Functional Programming 27, 2017
62017
Differential Cohesive Type Theory
JA Gross, DR Licata, MS New, J Paykin, M Riley, M Shulman, F Wellen
Extended abstracts for the Workshop “Homotopy Type Theory and Univalent …, 2017
52017
Call-by-name Gradual Type Theory
DR Licata, MS New
Logical Methods in Computer Science 16, 2020
12020
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
MS New, S Lindley
arXiv preprint arXiv:2004.14735, 2020
2020
A Semantic Foundation for Sound Gradual Typing
MS New
PQDT-UK & Ireland, 2020
2020
Gradual Type Theory (Extended Version)
MS New, DR Licata, A Ahmed
arXiv preprint arXiv:1811.02440, 2018
2018
Graduality from Embedding-projection Pairs (Extended Version)
MS New, A Ahmed
arXiv preprint arXiv:1807.02786, 2018
2018
Call-by-Name Gradual Type Theory (Extended Version)
MS New, DR Licata
arXiv preprint arXiv:1802.00061, 2018
2018
From Call-by-push-value to Stack-Based TAL?
MS New
The system can't perform the operation now. Try again later.
Articles 1–20