Oh Lord, please don't let contracts be misunderstood (functional pearl). - Christos Dimoulas; Max S. New; Robert Bruce Findler; Matthias Felleisen (ICFP, 2016)

Fully abstract compilation via universal embedding. - Max S. New; William J. Bowman; Amal Ahmed 001 (ICFP, 2016)

Is sound gradual typing dead? - Asumu Takikawa; Daniel Feltey; Ben Greenman; Max S. New; Jan Vitek; Matthias Felleisen (POPL, 2016)

FabULous Interoperability for ML and a Linear Language. - Gabriel Scherer; Max S. New; Nicholas Rioux; Amal Ahmed 001 (CoRR, 2017)

Fair enumeration combinators. - Max S. New; Burke Fetscher; Robert Bruce Findler; Jay A. McCarthy (J. Funct. Program., 2017)

Fab ous Interoperability for ML and a Linear Language. - Gabriel Scherer; Max S. New; Nick Rioux; Amal Ahmed 001 (FoSSaCS, 2018)

Graduality from Embedding-projection Pairs (Extended Version). - Max S. New; Amal Ahmed 001 (CoRR, 2018)

Gradual Type Theory (Extended Version). - Max S. New; Daniel R. Licata; Amal Ahmed 001 (CoRR, 2018)

Graduality from embedding-projection pairs. - Max S. New; Amal Ahmed 001 (Proc. ACM Program. Lang., 2018)

A Coq library for internal verification of running-times. - Jay A. McCarthy; Burke Fetscher; Max S. New; Daniel Feltey; Robert Bruce Findler (Sci. Comput. Program., 2018)

How to evaluate the performance of gradual type systems. - Ben Greenman; Asumu Takikawa; Max S. New; Daniel Feltey; Robert Bruce Findler; Jan Vitek; Matthias Felleisen (J. Funct. Program., 2019)

Gradual type theory. - Max S. New; Daniel R. Licata; Amal Ahmed 001 (Proc. ACM Program. Lang., 2019)

Call-by-name Gradual Type Theory. - Max S. New; Daniel R. Licata (Log. Methods Comput. Sci., 2020)

Graduality and parametricity: together again for the first time. - Max S. New; Dustin Jamner; Amal Ahmed 001 (Proc. ACM Program. Lang., 2020)

A Formal Logic for Formal Category Theory. - Max S. New; Daniel R. Licata (FoSSaCS, 2023)

Gradual Typing for Effect Handlers. - Max S. New; Eric Giovannini; Daniel R. Licata (Proc. ACM Program. Lang., 2023)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version). - Eric Giovannini; Tingting Ding; Max S. New (CoRR, 2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory. - Eric Giovannini; Tingting Ding; Max S. New (Proc. ACM Program. Lang., 2025)

Notions of Stack-Manipulating Computation and Relative Monads. - Yuchen Jiang; Runze Xue; Max S. New (Proc. ACM Program. Lang., 2025)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus. - Steven Schaefer; Nathan Varner; Pedro Henrique Azevedo de Amorim; Max S. New (Proc. ACM Program. Lang., 2025)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version). - Yuchen Jiang; Runze Xue; Max S. New (CoRR, 2025)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version). - Steven Schaefer; Nathan Varner; Pedro H. Azevedo de Amorim; Max S. New (CoRR, 2025)