- Notions of computation and monads Eugenio Moggi Wed 30 January 2013
- Call-by-Name, Call-by-Value and the lambda-Calculus Gordon Plotkin Wed 30 January 2013
- Full Abstraction for a Simple Parallel Programming Language M. C. B. Hennessy Gordon Plotkin Sat 05 January 2013
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A