Max S. New
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FOSSACS | A Formal Logic for Formal Category Theory. | Max S. New, Daniel R. Licata |
| 2018 | FOSSACS | Fab ous Interoperability for ML and a Linear Language. | Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed |
| 2016 | FLOPS | A Coq Library for Internal Verification of Running-Times. | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
| 2016 | ICFP | Oh Lord, please don't let contracts be misunderstood (functional pearl). | Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen |
| 2016 | ICFP | Fully abstract compilation via universal embedding. | Max S. New, William J. Bowman, Amal Ahmed |
| 2016 | POPL | Is sound gradual typing dead? | Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen |