- Eliminating Bugs with Dependent Haskell (Experience Report) Noam Zilberstein Tue 09 February 2021
- Refinement Reflection: Complete Verification with SMT Niki Vazou Anish Tondwalkar Vikraman Choudhury Ryan G. Scott Ryan R. Newton Philip Wadler Ranjit Jhala Mon 16 April 2018
- Practical Probabilistic Programming with Monads Adam Ścibior Zoubin Ghahramani Andrew D. Gordon Tue 04 April 2017
- Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Daniel P. Friedman Amr Sabry Tue 28 March 2017
- What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common Martín Escardó Paulo Oliva Tue 28 March 2017
- Handlers in Action Ohad Kammar Sam Lindley Nicolas Oury Sat 29 March 2014
- Parsec: Direct Style Monadic Parser Combinators for the Real World Daan Leijen Erik Meijer Fri 07 March 2014
- Parsec, a fast combinator parser Daan Leijen Fri 07 March 2014
Library Size: 13G (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
