- Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami Sun 30 April 2017
- 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
