- Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille Aaron Stump Christopher Jenkins Stephan Spahn Colin McDonald Tue 04 August 2020
- Linearity in Higher-order Recursion Schemes Pierre Clairambault Charles Grellois Andrzej S. Murawski Sat 30 June 2018
- Recursion Schemes from Comonads Tarmo Uustalu Varmo Vene Alberto Pardo Wed 29 January 2014
- Functional Perl: Programming with Recursion Schemes in Python Robert J. Simmons Nels E. Beckman Dr. Tom Murphy Vii Ph. D Wed 29 January 2014
- Programming with Recursion Schemes Daniel C. Wang Tom Murphy VII Wed 29 January 2014
- Recursion schemes and generalized interpretations Jean H. Gallier Wed 27 March 2013
- Model-checking higher-order functions Naoki Kobayashi Mon 28 January 2013
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
