Kent Petersson

Publication Activity (10 Years)

Years Active: 1982-1989
Publications (10 Years): 0

Publications

Kent Petersson, Dan Synek
A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. Category Theory and Computer Science (1989)
Annika Aasa, Kent Petersson, Dan Synek
Concrete Syntax for Data Objects in Functional Languages. LISP and Functional Programming (1988)
Kent Petersson, Jan M. Smith
Program Derivation in Type Theory: A Partitioning Problem. Comput. Lang. 11 (3/4) (1986)
Bengt Nordström, Kent Petersson
Types and Specifications. IFIP Congress (1983)
Kent Karlsson, Kent Petersson
Notes from: The Aspenäs Symposium on Functional Languages and Computer Architecture. ACM SIGPLAN Notices 17 (11) (1982)