2 papers
cs.PL2018
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
Ohad Kammar, Dylan McDermott
Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its retur…
cs.PL2017
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
Ohad Kammar, Dylan McDermott
Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models bas…