| |
| 2009 | ||
|---|---|---|
| 3 | EE | Adam Poswolsky, Carsten Schürmann: System Description: Delphin - A Functional Programming Language for Deductive Systems. Electr. Notes Theor. Comput. Sci. 228: 113-120 (2009) |
| 2008 | ||
| 2 | EE | Adam Poswolsky, Carsten Schürmann: Practical Programming with Higher-Order Encodings and Dependent Types. ESOP 2008: 93-107 |
| 2005 | ||
| 1 | EE | Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat: The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA 2005: 339-353 |
| 1 | Jeffrey Sarnat | [1] |
| 2 | Carsten Schürmann | [1] [2] [3] |