IntroElphin (the predecessor to Delphin) is a simply-typed programming language implementing the ∇-Calculus.
Source CodeDocuments- Carsten Schürmann, Adam Poswolsky, and Jeffrey Sarnat. The ∇-calculus. Functional Programming with Higher-Order Encodings. In Typed Lambda Calculus and Applications (TLCA 2005), pages 339–353, Nara, Japan, 2005.
- Full Version (PDF)
- Extended Technical Report, YALEU/DCS/TR-1272 (PDF)
|
|