- Functional Programming for Modular Bayesian Inference Adam Ścibior Ohad Kammar Zoubin Ghahramani Mon 14 October 2019
- Semantic Subtyping: Dealing Set-theoretically with Function, Union, Intersection, and Negation Types Alain Frisch Giuseppe Castagna Véronique Benzaken Mon 23 January 2017
- Model-checking higher-order functions Naoki Kobayashi Mon 28 January 2013
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
