Monadic, Prompt Lazy Assertions in Haskell
Abstract elided by the publisher.
Related papers
- Affine Monads and Lazy Structures for Bayesian Programming POPL 2023
- On Embedding a Microarchitectural Design Language within Haskell ICFP 1999
- Lazy counterfactual symbolic execution PLDI 2019
- Experience report: Haskell in computational biology ICFP 2012
- Inductive reasoning about effectful data types ICFP 2007
- PureCake: A Verified Compiler for a Lazy Functional Language PLDI 2023
- Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C ICFP 2021
- Purely functional lazy nondeterministic programming JFP 2011