- Formal neighbourhoods, combinatory Bøhm trees, and untyped normalization by evaluation Peter Dybjer Denis Kuperberg Wed 13 May 2020
- The Incremental Garbage Collection of Processes Jr. Henry C. Baker Carl Hewitt Thu 11 September 2014
- Flow analysis of lazy higher-order functional programs Neil D. Jones Nils Andersen Mon 24 June 2013
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
