From the 1 of 4 linked papers with an AI index.
2 citations · 2 across the 2 of their papers we have counts for
3 papers · 1 filter
Logical Foundations of Two-Sided Type Theory
Celia Mengyue Li, Steven Ramsay
The paper develops the logical basis of two‑sided type systems, introducing new systems (2λInt, 2λInt~ and 2λHOL) that correspond to bilateral logic and its extension with strong n…
A Complementary Approach to Incorrectness Typing
Celia Mengyue Li, Sophie Pull, Steven Ramsay
We introduce a new two-sided type system for verifying the correctness and incorrectness of functional programs with atoms and pattern matching. A key idea in the work is that type…
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang +1
Inference algorithms for probabilistic programming are complex imperative programs with many moving parts. Efficient inference often requires customising an algorithm to a particul…