Home‎ > ‎

Elphin Details

Intro

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

Source Code

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)