| |
| 1989 | ||
|---|---|---|
| 5 | 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 | ||
| 4 | EE | Annika Aasa, Kent Petersson, Dan Synek: Concrete Syntax for Data Objects in Functional Languages. LISP and Functional Programming 1988: 96-105 |
| 1986 | ||
| 3 | Kent Petersson, Jan M. Smith: Program Derivation in Type Theory: A Partitioning Problem. Comput. Lang. 11(3/4): 161-172 (1986) | |
| 1983 | ||
| 2 | Bengt Nordström, Kent Petersson: Types and Specifications. IFIP Congress 1983: 915-920 | |
| 1982 | ||
| 1 | Kent Karlsson, Kent Petersson: Notes from: The Aspenäs Symposium on Functional Languages and Computer Architecture. SIGPLAN Notices 17(11): 14-23 (1982) | |
| 1 | Annika Aasa | [4] |
| 2 | Kent Karlsson | [1] |
| 3 | Bengt Nordström | [2] |
| 4 | Jan M. Smith | [3] |
| 5 | Dan Synek | [4] [5] |