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 | 150 | 2016 |
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 84 | 2019 |
Fully abstract compilation via universal embedding MS New, WJ Bowman, A Ahmed Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 75 | 2016 |
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 | 39 | 2019 |
Graduality from embedding-projection pairs MS New, A Ahmed Proceedings of the ACM on Programming Languages 2 (ICFP), 73, 2018 | 36 | 2018 |
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 | 28 | 2019 |
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 | 28 | 2016 |
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 | 21 | 2016 |
Call-by-name Gradual Type Theory DR Licata, MS New Logical Methods in Computer Science 16, 2020 | 18* | 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 | 17 | 2018 |
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 | 12 | 2018 |
Fair enumeration combinators MS New, B Fetscher, RB Findler, J McCarthy Journal of Functional Programming 27, e19, 2017 | 10 | 2017 |
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 | 7 | 2017 |
A Formal Logic for Formal Category Theory MS New, DR Licata Foundations of Software Science and Computation Structures LNCS 13992, 113, 2023 | 6 | 2023 |
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 15, 2019 | 5 | 2019 |
A Semantic Foundation for Sound Gradual Typing MS New Northeastern University, 2020 | 1 | 2020 |
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 |