Skip to main content
Responding to the COVID-19 pandemic
The Turing Podcast
Frequently asked questions
Training a new generation
Equality, diversity and inclusion
What Alan Turing means to us
How to get to the Turing
AI for Science and Government (ASG)
Climate action at the Turing
Publications & policy submissions
Work at the Turing
Research and funding calls
Why work at the Turing?
Collaborate with the Turing
Current partnerships and collaborations
Data Study Groups
Data Science for Social Good
Join our mailing lists
Using the Turing logo
The Alan Turing Institute
Theory of programming languages
Turing Research Fellow
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)