On laziness and optimality in lambda interpreters: tools for specification and analysis

John Field
1990 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90  
In this paper, I introduce a new formal system, ACCL, based on Curien's Categorical Combinators [Cur86a]. I show
doi:10.1145/96709.96710 dblp:conf/popl/Field90 fatcat:jpiles3shjdnngvjxsftddkqfm