Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction
C Matache, S Moss, S Staton - Proceedings of the 37th Annual ACM …, 2022 - dl.acm.org
We study concrete sheaf models for a call-by-value higher-order language with recursion.
Our family of sheaf models is a generalization of many examples from the literature, such as …
Our family of sheaf models is a generalization of many examples from the literature, such as …
Concrete categories and higher-order recursion
C Matache, S Moss, S Staton - Proceedings of the 37th Annual ACM …, 2022 - ora.ox.ac.uk
We study concrete sheaf models for a call-by-value higher-order language with recursion.
Our family of sheaf models is a generalization of many examples from the literature, such as …
Our family of sheaf models is a generalization of many examples from the literature, such as …
Structural foundations for differentiable programming
M Huot - 2022 - ora.ox.ac.uk
This dissertation supports the broader thesis that categorical semantics is a powerful tool to
study and design programming languages. It focuses on the foundational aspects of …
study and design programming languages. It focuses on the foundational aspects of …
Concrete sheaf models of higher-order recursion
C Matache - 2022 - ora.ox.ac.uk
This thesis studies denotational models, in the form of sheaf categories, of functional
programming languages with higher-order functions and recursion. We give a general …
programming languages with higher-order functions and recursion. We give a general …