Max S. New

According to our database, Max S. New authored at least 16 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Gradual Typing for Effect Handlers.

Max S. New, Eric Giovannini, Daniel R. Licata

Proc. ACM Program. Lang., October, 2023

A Formal Logic for Formal Category Theory.

Max S. New, Daniel R. Licata

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2020

Graduality and parametricity: together again for the first time.

Max S. New, Dustin Jamner, Amal Ahmed

Proc. ACM Program. Lang., 2020

Call-by-name Gradual Type Theory.

Max S. New, Daniel R. Licata

Log. Methods Comput. Sci., 2020

2019

Gradual type theory.

Max S. New, Daniel R. Licata, Amal Ahmed

Proc. ACM Program. Lang., 2019

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

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

Graduality from embedding-projection pairs.

Max S. New, Amal Ahmed

Proc. ACM Program. Lang., 2018

Gradual Type Theory (Extended Version).

Max S. New, Daniel R. Licata, Amal Ahmed

CoRR, 2018

Graduality from Embedding-projection Pairs (Extended Version).

Max S. New, Amal Ahmed

CoRR, 2018

Fab ous Interoperability for ML and a Linear Language.

Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Fair enumeration combinators.

Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy

J. Funct. Program., 2017

FabULous Interoperability for ML and a Linear Language.

Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed

CoRR, 2017

2016

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Fully abstract compilation via universal embedding.

Max S. New, William J. Bowman, Amal Ahmed

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Oh Lord, please don't let contracts be misunderstood (functional pearl).

Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016