Kent Petersson

According to our database, Kent Petersson authored at least 5 papers between 1982 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1989

A Set Constructor for Inductive Sets in Martin-Löf's Type Theory.

Kent Petersson, Dan Synek

Proceedings of the Category Theory and Computer Science, 1989

1988

Concrete Syntax for Data Objects in Functional Languages.

Annika Aasa, Kent Petersson, Dan Synek

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1986

Program Derivation in Type Theory: A Partitioning Problem.

Kent Petersson, Jan M. Smith

Comput. Lang., 1986

1983

Types and Specifications.

Bengt Nordström, Kent Petersson

Proceedings of the Information Processing 83, 1983

1982

Notes from: The Aspenäs Symposium on Functional Languages and Computer Architecture.

Kent Karlsson, Kent Petersson

ACM SIGPLAN Notices, 1982