reading list

[ ] The Call-by-Need Lambda Calculus
[ ] An Adequate Operational Semantics of Sharing in Lazy Evaluation
[ ] Computational Comonads and Intensional Semantics

Author: Nicholas Coltharp

Created: 2026-04-14 Tue 00:01