| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and “Higher-Order” Derivations
|
Ibraheem, Husain
|
|
1998
|
10 |
C |
p. 121-
1 p.
|
article
|
| 2 |
An Introduction to History Dependent Automata
|
Montanari, Ugo
|
|
1998
|
10 |
C |
p. 170-188
19 p.
|
article
|
| 3 |
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees
|
Stoughton, Allen
|
|
1998
|
10 |
C |
p. 122-133
12 p.
|
article
|
| 4 |
An Operational Understanding of Bisimulation from Open Maps
|
Winskel, Glynn
|
|
1998
|
10 |
C |
p. 50-
1 p.
|
article
|
| 5 |
A Type System for Object Initialization In the Java Bytecode Language (summary)
|
Freund, Stephen N.
|
|
1998
|
10 |
C |
p. 242-245
4 p.
|
article
|
| 6 |
A Type-theoretic Description of Action Calculi
|
Gardner, Philippa
|
|
1998
|
10 |
C |
p. 52-
1 p.
|
article
|
| 7 |
Can Actors and π-Agents Live Together?
|
Montanari, Ugo
|
|
1998
|
10 |
C |
p. 189-196
8 p.
|
article
|
| 8 |
Computing With Contexts A simple approach
|
Sands, David
|
|
1998
|
10 |
C |
p. 134-149
16 p.
|
article
|
| 9 |
Correctness of Monadic State: An Imperative Call-by-Need Calculus
|
Ariola, Zena
|
|
1998
|
10 |
C |
p. 53-
1 p.
|
article
|
| 10 |
Flow Logic and Operational Semantics
|
Nielson, Flemming
|
|
1998
|
10 |
C |
p. 150-169
20 p.
|
article
|
| 11 |
Mobile Ambients
|
Cardelli, Luca
|
|
1998
|
10 |
C |
p. 198-201
4 p.
|
article
|
| 12 |
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
|
Barthe, Gilles
|
|
1998
|
10 |
C |
p. 54-120
67 p.
|
article
|
| 13 |
Operational Subsumption, an Ideal Model of Subtyping
|
Dami, Laurent
|
|
1998
|
10 |
C |
p. 28-49
22 p.
|
article
|
| 14 |
Parametric Polymorphism and Operational Equivalence (Preliminary Version)
|
Pitts, Andrew M.
|
|
1998
|
10 |
C |
p. 2-27
26 p.
|
article
|
| 15 |
Preface
|
Andrew, Gordon
|
|
1998
|
10 |
C |
p. 1-
1 p.
|
article
|
| 16 |
Premonoidal categories and flow graphs
|
Jeffrey, Alan
|
|
1998
|
10 |
C |
p. 51-
1 p.
|
article
|
| 17 |
Program Units as Higher-Order Modules
|
Flatt, Matthew
|
|
1998
|
10 |
C |
p. 204-229
26 p.
|
article
|
| 18 |
Secure Implementation of Channel Abstractions (Abstract)
|
Abadi, Martín
|
|
1998
|
10 |
C |
p. 202-203
2 p.
|
article
|
| 19 |
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract)
|
Lassen, Søren B.
|
|
1998
|
10 |
C |
p. 246-266
21 p.
|
article
|
| 20 |
Specification Diagrams for Actor Systems
|
Smith, Scott
|
|
1998
|
10 |
C |
p. 197-
1 p.
|
article
|
| 21 |
Typed Closure Conversion for Recursively-Defined Functions
|
Morrisett, Greg
|
|
1998
|
10 |
C |
p. 230-241
12 p.
|
article
|
Journal description