Max S. New

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 22

Top Topics

Pairwise Distances

Internal Structures

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Max S. New, Daniel R. Licata
A Formal Logic for Formal Category Theory. FoSSaCS (2023)
Max S. New, Eric Giovannini, Daniel R. Licata
Gradual Typing for Effect Handlers. CoRR (2023)
Max S. New, Eric Giovannini, Daniel R. Licata
Gradual Typing for Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Max S. New, Daniel R. Licata
A Formal Logic for Formal Category Theory. CoRR (2022)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradual type theory. J. Funct. Program. 31 (2021)
Max S. New, Dustin Jamner, Amal Ahmed
Graduality and parametricity: together again for the first time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Max S. New, Daniel R. Licata
Call-by-name Gradual Type Theory. Log. Methods Comput. Sci. 16 (1) (2020)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradual type theory. Proc. ACM Program. Lang. 3 (POPL) (2019)
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
How to evaluate the performance of gradual type systems. J. Funct. Program. 29 (2019)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq library for internal verification of running-times. Sci. Comput. Program. 164 (2018)
Max S. New, Daniel R. Licata
Call-by-Name Gradual Type Theory. FSCD (2018)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradual Type Theory (Extended Version). CoRR (2018)
Max S. New, Daniel R. Licata
Call-by-name Gradual Type Theory. CoRR (2018)
Max S. New, Amal Ahmed
Graduality from embedding-projection pairs. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Max S. New, Amal Ahmed
Graduality from Embedding-projection Pairs (Extended Version). CoRR (2018)
Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
Fab ous Interoperability for ML and a Linear Language. FoSSaCS (2018)
Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed
FabULous Interoperability for ML and a Linear Language. CoRR (2017)
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
Fair enumeration combinators. J. Funct. Program. 27 (2017)
Max S. New, William J. Bowman, Amal Ahmed
Fully abstract compilation via universal embedding. ICFP (2016)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP (2016)
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
Is sound gradual typing dead? POPL (2016)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq Library for Internal Verification of Running-Times. FLOPS (2016)