Software Engineering Technology Software Architecture as a Combination of Patterns (2008)
Kent Petersson, Tobias Persson
Ericsson Microwave Systems in Sweden was confronted with the problem of constructing a radar system that could withstand the replacement of hardware and operating system software and be adaptable to...
PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad (2007)
June Eds Bengt, Bengt Nordstrom, Kent Petersson, Gordon Plotkin
The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of...
PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad (2007)
June Eds Bengt, Bengt Nordstrom, Kent Petersson, Gordon Plotkin
The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of...
Syntax and Semantics of Programming Languages Lecture Notes ** * DRAF ** * DRAT ** * DRFT *** (1997)
Kent Petersson, Kent Petersson
Preface These lecture notes have been compiled for a course on syntax and semantics of programming languages given at INCO, Universidad de la Republica, Montevideo, Uruguay, during two weeks in April...
Silly Type Families ∗ DRAFT (1994)
Lennart Augustsson, Kent Petersson
This paper presents an extension to standard Hindley-Milner type checking that allows constructors in data types to have non-uniform result types. We use Haskell as the sample language, [Hud92], but...
Proceedings Of The 1992 Workshop On Types For Proofs And Programs (1992)
Bengt Nordström, Kent Petersson, Gordon Plotkin (eds.), Gordon Plotkin
The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of...
A set constructor for inductive sets in Martin-Lof's type theory (1989)
An important construction in programming languages is the definition facility for inductive data types [Hoa75]. One way to understand this construction is as a very general type constructor for...
Program derivation in type theory: A partitioning problem (1986)
Martin-Lof's type theory is a theory in which one can write both specifications and programs. By interpreting propositions as types, predicate logic is available when formulating a...