| 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) |
