- Products, Polynomials and Differential Equations in the Stream Calculus Michele Boreale Luisa Collodi Daniele Gorla Fri 19 April 2024
- Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Daniel P. Friedman Amr Sabry Tue 28 March 2017
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
