People
Publications and software
Strongly Normalizing Higher-Order Relational Queries
Language-integrated query is a powerful programming construct allowing database queries and ordinary program code...
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
ML is remarkable in providing statically typed polymorphism without the programmer ever having to...
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
The RPC calculus is a simple semantic foundation for multi-tier programming languages such as...
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)