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
1602016
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
872019
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
772016
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
422019
Graduality from embedding-projection pairs
MS New, A Ahmed
Proceedings of the ACM on Programming Languages 2 (ICFP), 73, 2018
382018
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, e4, 2019
342019
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
322016
A Coq library for internal verification of running-times
J McCarthy, B Fetscher, M New, D Feltey, RB Findler
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
212016
Call-by-name Gradual Type Theory
DR Licata, MS New
Logical Methods in Computer Science 16, 2020
19*2020
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
172018
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
122018
Fair enumeration combinators
MS New, B Fetscher, RB Findler, J McCarthy
Journal of Functional Programming 27, e19, 2017
112017
A Formal Logic for Formal Category Theory
MS New, DR Licata
Foundations of Software Science and Computation Structures LNCS 13992, 113, 2023
92023
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 15, 2019
72019
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
72017
A Semantic Foundation for Sound Gradual Typing
MS New
Northeastern University, 2020
12020
Proceedings Ninth Workshop on Mathematically Structured Functional Programming
J Gibbons, MS New
arXiv preprint arXiv:2206.09534, 2022
2022
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
MS New, S Lindley
arXiv preprint arXiv:2004.14735, 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
The system can't perform the operation now. Try again later.
Articles 1–20