 | 2010 |
|---|
| 4 |       | Emil Axelsson,
Koen Claessen,
Gergely Dévai,
Zoltán Horváth,
Karin Keijzer,
Bo Lyckegård,
Anders Persson,
Mary Sheeran,
Josef Svenningsson,
András Vajda:
Feldspar: A domain specific language for digital signal processing algorithms.
MEMOCODE 2010: 169-178 |
| 2009 |
|---|
| 3 | | Gergely Dévai:
Embedding a Proof System in Haskell.
CEFP 2009: 354-371 |
| 2008 |
|---|
| 2 | | Gergely Dévai:
Programming Language Elements for Correctness Proofs.
Acta Cybern. 18(3): 403-425 (2008) |
| 2007 |
|---|
| 1 | | Zoltán Csörnyei,
Gergely Dévai:
An Introduction to the Lambda Calculus.
CEFP 2007: 87-111 |
Data released under the ODC-BY 1.0 license — See also our legal information page