Theory of programming languages

Wilmer Ricciotti, James Cheney: Strongly Normalizing Higher-Order Relational Queries. FSCD 2020: 28:1-28:22

FreezeML: Complete and easy type inference for first-class polymorphism, Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates. PLDI 2020.

A Polymorphic RPC Calculus, Kwanghoon Choi, James Cheney, Simon Fowler and Sam Lindley, Science of Computer Programming 197:102499, October 2020. Preliminary version presented at SBMF 2019. (arXiv)