Adam Poswolsky

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Adam Poswolsky, Carsten Schürmann
System Description: Delphin - A Functional Programming Language for Deductive Systems. Electron. Notes Theor. Comput. Sci. 228 (2009)
Adam Poswolsky, Carsten Schürmann
Practical Programming with Higher-Order Encodings and Dependent Types. ESOP (2008)
Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA (2005)