Search the dblp DataBase
Kent Petersson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kent Petersson , Dan Synek A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1989, pp:128-140 [Conf ] Bengt Nordström , Kent Petersson Types and Specifications. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1983, pp:915-920 [Conf ] Annika Aasa , Kent Petersson , Dan Synek Concrete Syntax for Data Objects in Functional Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1988, pp:96-105 [Conf ] Kent Petersson , Jan M. Smith Program Derivation in Type Theory: A Partitioning Problem. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1986, v:11, n:3/4, pp:161-172 [Journal ] Kent Karlsson , Kent Petersson Notes from: The Aspenäs Symposium on Functional Languages and Computer Architecture. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1982, v:17, n:11, pp:14-23 [Journal ] Search in 0.001secs, Finished in 0.001secs