Partiality and Container Monads
Abstract elided by the publisher.
Related papers
- Partial type constructors: or, making ad hoc datatypes less ad hoc POPL 2020
- Operational semantics using the partiality monad ICFP 2012
- Simple, partial type-inference for System F based on type-containment ICFP 2005
- Programming monads operationally with Unimo ICFP 2006
- Monadic compiler calculation (functional pearl) ICFP 2022
- Inductive reasoning about effectful data types ICFP 2007
- Setoids in type theory JFP 2003
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware TACAS 2020