The ∇-calculus. Functional programming with higher-order encodings (2005)

by Carsten Schürmann , Adam Poswolsky , Jeffrey Sarnat
Venue:In Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications
Citations:23 - 3 self