Elphin Details - The Delphin Project

Home‎ > ‎

Elphin Details

Intro

Elphin (the predecessor to Delphin) is a simply-typed programming language implementing the ∇-Calculus.

Source Code

Github repo: https://github.com/aposwolsky/delphin
Under code/elphin
Elphin Source available (v 1.0b, Released November 2004) elphin-1.0b.tar.gz.
patched to compile in SML/NJ v110.65
Elphin Examples

Documents

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)