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)