| |
| 1994 | ||
|---|---|---|
| 3 | Lennart Augustsson, Mikael Rittri, Dan Synek: On Generating unique Names. J. Funct. Program. 4(1): 117-123 (1994) | |
| 1989 | ||
| 2 | Kent Petersson, Dan Synek: A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. Category Theory and Computer Science 1989: 128-140 | |
| 1988 | ||
| 1 | EE | Annika Aasa, Kent Petersson, Dan Synek: Concrete Syntax for Data Objects in Functional Languages. LISP and Functional Programming 1988: 96-105 |
| 1 | Annika Aasa | [1] |
| 2 | Lennart Augustsson | [3] |
| 3 | Kent Petersson | [1] [2] |
| 4 | Mikael Rittri | [3] |