research
∙
06/27/2023
Frex: dependently-typed algebraic simplification
We present an extensible, mathematically-structured algebraic simplifica...
share
research
∙
05/08/2023
Idris TyRE: a dependently typed regex parser
Regular expressions – regexes – are widely used not only for validating,...
research
∙
11/10/2018
A Domain Theory for Statistical Probabilistic Programming
We give an adequate denotational semantics for languages with recursive ...
research
∙
04/10/2018
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
Type-and-effect systems incorporate information about the computational ...
research
∙
11/09/2017
Denotational validation of higher-order Bayesian inference
We present a modular semantic account of Bayesian inference algorithms f...
research
∙
07/20/2017
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
Given a programming language, can we give a monadic denotational semanti...
research
∙
01/10/2017
A Convenient Category for Higher-Order Probability Theory
Higher-order probabilistic programming languages allow programmers to wr...
research
∙
01/19/2016