Delphin (Dolphin)Downloads

 

horizontal rule

Home
Downloads
Publications
Contact Us
bulletDelphin is a robust dependently-typed programming language supporting higher-order encodings.
 
bulletElphin (the predecessor to Delphin) is a simply-typed programming language implementing the ∇-Calculus. 

Delphin Elphin CVS Repository

 

horizontal rule

Home | Downloads | Publications | Contact Us

For problems or questions regarding this web contact poswolsky@cs.yale.edu.
Last updated: 02/09/09.