| 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 | 157 | 2016 |
| Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 93 | 2019 |
| Fully abstract compilation via universal embedding MS New, WJ Bowman, A Ahmed Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 76 | 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 | 43 | 2019 |
| Graduality from embedding-projection pairs MS New, A Ahmed Proceedings of the ACM on Programming Languages 2 (ICFP), 73, 2018 | 40 | 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 | 34 | 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 | 32 | 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 | 13 | 2018 |
| Fair enumeration combinators MS New, B Fetscher, RB Findler, J McCarthy Journal of Functional Programming 27, e19, 2017 | 11 | 2017 |
| A Formal Logic for Formal Category Theory MS New, DR Licata Foundations of Software Science and Computation Structures LNCS 13992, 113, 2023 | 9 | 2023 |
| 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 |
| Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 15, 2019 | 4 | 2019 |
| A Semantic Foundation for Sound Gradual Typing MS New Northeastern University, 2020 | 2 | 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 |
