Manuscripts
A Semantic Foundation for Sound Gradual Typing
Max S. New
PhD Thesis, Northeastern University, 2020
dissertation
Peer-Reviewed Papers
Call-by-name Gradual Type Theory
Max S. New, Daniel R. Licata
Logical Methods in Computer Science, Volume 16, Issue 1
Arxiv backup LMCS Link
subsumes earlier conference paper of the same name published at FSCDGraduality and Parametricity: Together Again for the First Time
Max S. New, Dustin Jamner, Amal Ahmed
POPL 2020
Official Link Preprint Technical AppendixHow to evaluate the performance of gradual type systems
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
Journal of Functional Programming, Volume 29, 2019
Official Link PreprintGradual Type Theory
Max S. New, Daniel R. Licata, Amal Ahmed
POPL 2019
Extended Version Official LinkGraduality from Embedding-Projection Pairs
Max S. New, Amal Ahmed
ICFP 2018
Conference Talk Extended Version Official LinkCall-by-name Gradual Type Theory
Max S. New, Daniel R. Licata
FSCD 2018
Official Link
subsumed by journal article of the same name published in LMCSFabULous Interoperability for ML and a Linear Language
Gabriel Scherer, Max S. New, Nick Rioux and Amal Ahmed
FoSSaCS 2018
Preprint Supplementary materialFair enumeration combinators
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay McCarthy
Journal of Functional Programming, Volume 27, 2017
Official LinkFully Abstract Compilation via Universal Embedding
Max S. New, William J. Bowman, Amal Ahmed
ICFP 2016
Conference talk Extended Technical Report Official Link PreprintOh Lord, Please Don't Let Contracts be Misunderstood (Functional Pearl)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
ICFP 2016
Official LinkA Coq Library For Internal Verification of Running-Times
Jay McCarthy, Burke Fetscher, Max New, Daniel Feltey, Robert Bruce Findler
FLOPS 2016
RepositoryIs Sound Gradual Typing Dead?
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
POPL 2016
Official Link
Drafts
Gradual Typing for Effect Handlers
Max S. New and Eric Giovannini and Daniel R. Licata
preprintA formal type theory for formal category theory
Max S. New and Daniel R. Licata
preprint repo
Abstracts
Relative Monads in Call-by-push-value as an Abstraction of Stack-Based Effects
Max S. New
HOPE 2022
Extended Abstract Talk slidesFrom Call-by-push-value to Stack-based TAL?
Max S. New
LOLA 2019
Extended AbstractGradual Type Precision as Retraction
Max S. New
POPL 2017 Student Research Competition
Extended Abstract Poster