Max S. New

30 papers A* 1A 2B 3Misc 1Journal 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory.
Proc. ACM Program. Lang.
Eric Giovannini, Tingting Ding, Max S. New
2025 J jnl
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version).
CoRR
Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim, Max S. New
2025 J jnl
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus.
Proc. ACM Program. Lang.
Steven Schaefer, Nathan Varner, Pedro Henrique Azevedo de Amorim, Max S. New
2025 J jnl
Notions of Stack-Manipulating Computation and Relative Monads.
Proc. ACM Program. Lang.
Yuchen Jiang, Runze Xue, Max S. New
2025 J jnl
Notions of Stack-manipulating Computation and Relative Monads (Extended Version).
CoRR
Yuchen Jiang, Runze Xue, Max S. New
2024 J jnl
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version).
CoRR
Eric Giovannini, Tingting Ding, Max S. New
2023 B conf
A Formal Logic for Formal Category Theory.
FoSSaCS
Max S. New, Daniel R. Licata
2023 J jnl
Gradual Typing for Effect Handlers.
CoRR
Max S. New, Eric Giovannini, Daniel R. Licata
2023 J jnl
Gradual Typing for Effect Handlers.
Proc. ACM Program. Lang.
Max S. New, Eric Giovannini, Daniel R. Licata
2022 J jnl
A Formal Logic for Formal Category Theory.
CoRR
Max S. New, Daniel R. Licata
2022 — ed.
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022.
MSFP@ETAPS
Jeremy Gibbons, Max S. New
2021 J jnl
Gradual type theory.
J. Funct. Program.
Max S. New, Daniel R. Licata, Amal Ahmed
2020 J jnl
Call-by-name Gradual Type Theory.
Log. Methods Comput. Sci.
Max S. New, Daniel R. Licata
2020 J jnl
Graduality and parametricity: together again for the first time.
Proc. ACM Program. Lang.
Max S. New, Dustin Jamner, Amal Ahmed
2020 — ed.
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020.
MSFP@ETAPS
Max S. New, Sam Lindley
2019 J jnl
Gradual type theory.
Proc. ACM Program. Lang.
Max S. New, Daniel R. Licata, Amal Ahmed
2019 J jnl
How to evaluate the performance of gradual type systems.
J. Funct. Program.
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
2018 J jnl
A Coq library for internal verification of running-times.
Sci. Comput. Program.
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
2018 B conf
Call-by-Name Gradual Type Theory.
FSCD
Max S. New, Daniel R. Licata
2018 J jnl
Call-by-name Gradual Type Theory.
CoRR
Max S. New, Daniel R. Licata
2018 B conf
Fab ous Interoperability for ML and a Linear Language.
FoSSaCS
Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
2018 J jnl
Gradual Type Theory (Extended Version).
CoRR
Max S. New, Daniel R. Licata, Amal Ahmed
2018 J jnl
Graduality from Embedding-projection Pairs (Extended Version).
CoRR
Max S. New, Amal Ahmed
2018 J jnl
Graduality from embedding-projection pairs.
Proc. ACM Program. Lang.
Max S. New, Amal Ahmed
2017 J jnl
FabULous Interoperability for ML and a Linear Language.
CoRR
Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed
2017 J jnl
Fair enumeration combinators.
J. Funct. Program.
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
2016 Misc conf
A Coq Library for Internal Verification of Running-Times.
FLOPS
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
2016 A conf
Fully abstract compilation via universal embedding.
ICFP
Max S. New, William J. Bowman, Amal Ahmed
2016 A* conf
Is sound gradual typing dead?
POPL
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
2016 A conf
Oh Lord, please don't let contracts be misunderstood (functional pearl).
ICFP
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen