| Publication | Date of Publication | Type |
|---|
Monoidal indeterminates and categories of possible worlds
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Monoidal indeterminates and categories of possible worlds
Theoretical Computer Science | 2012-05-30 | Paper |
An introduction to Landin's ``Getting rid of labels''
Higher-Order and Symbolic Computation | 2010-11-12 | Paper |
A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
Theoretical Computer Science | 2007-05-11 | Paper |
| Specifying Software | 2002-04-29 | Paper |
| scientific article; zbMATH DE number 1670816 (Why is no real title available?) | 2001-11-11 | Paper |
Syntactic control of interference revisited
Theoretical Computer Science | 2000-08-23 | Paper |
Abstract models of storage
Higher-Order and Symbolic Computation | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1231472 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1231457 (Why is no real title available?) | 1998-12-10 | Paper |
| scientific article; zbMATH DE number 1088040 (Why is no real title available?) | 1998-03-15 | Paper |
Parametricity and local variables
Journal of the ACM | 1998-01-28 | Paper |
Semantical analysis of specification logic. II
Information and Computation | 1994-04-17 | Paper |
| scientific article; zbMATH DE number 517039 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 431769 (Why is no real title available?) | 1993-11-11 | Paper |
Continuations in possible-world semantics
Theoretical Computer Science | 1992-06-26 | Paper |
Semantical analysis of specification logic
Information and Computation | 1990-01-01 | Paper |
Elementary data structures in ALGOL-like languages
Science of Computer Programming | 1989-01-01 | Paper |
A note on undefined expression values in programming logics
Information Processing Letters | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999254 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3936506 (Why is no real title available?) | 1985-01-01 | Paper |
Semantics of interference control
Theoretical Computer Science | 1983-01-01 | Paper |
Some proposals for improving Pascal
Computer Languages | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3767017 (Why is no real title available?) | 1982-01-01 | Paper |
Two examples of block structuring
Software: Practice and Experience | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3725663 (Why is no real title available?) | 1981-01-01 | Paper |
Another look at type compatibility in pascal
Software: Practice and Experience | 1978-01-01 | Paper |
A note on files in pascal
BIT | 1977-01-01 | Paper |
Language design methods based on semantic principles
Acta Informatica | 1977-01-01 | Paper |
On a new approach to representation independent data classes
Acta Informatica | 1977-01-01 | Paper |
The denotational semantics of programming languages
Communications of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3483536 (Why is no real title available?) | 1973-01-01 | Paper |
