Elphin

	Carsten Schürmann, Adam Poswolsky, and Jeffrey Sarnat. The ∇ -Calculus. Functional Programming with Higher-order Encodings. TLCA' 05.
	Carsten Schürmann, Adam Poswolsky, and Jeffrey Sarnat. Extended Technical Report on the ∇ -Calculus.

	Elphin 1.0 (Source Code)
	Examples

Home | Downloads | Publications | Contact Us

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