Abstract is missing.
- Strong Normalisation in Higher-Order Action CalculiRobin Milner. 1-19
- Extending ML with Semi-Explicit Higher-Order PolymorphismJacques Garrigue, Didier Rémy. 20-46
- Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)Alexander Aiken, Edward L. Wimmers, Jens Palsberg. 47-76
- Cyclic Lambda CalculiZena M. Ariola, Stefan Blom. 77-106
- Type System for Specializing PolymorphismAtsushi Ohori. 107-137
- On Strictness and TotalityMario Coppo, Ferruccio Damiani, Paola Giannini. 138-164
- Sound Specialization in the Presence of Computational EffectsJulia L. Lawall, Peter Thiemann. 165-190
- An Axiomatic Approach to Binary Logical Relations with Applications to Data RefinementYoshiki Kinoshita, Peter W. O Hearn, John Power, Makoto Takeyama, Robert D. Tennent. 191-212
- Infinitary Domain Logic for Finitary Transition SystemsMarcello M. Bonsangue, Joost N. Kok. 213-232
- Some Results in the Joint-CalculusJean-Jacques Lévy. 233-249
- Local Model Checking for Value-Passing Processes (Extended Abstract)Julian Rathke, Matthew Hennessy. 250-266
- Data Refinement and Remote ProceduresKaisa Sere, Marina A. Waldén. 267-294
- A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous SystemsSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan. 295-320
- Composable Semantic Models for Actor TheoriesCarolyn L. Talcott. 321-364
- Classical Programming-with-Proofs in lambda::PA:::::Sym:::: An Analysis of Non-confluenceFranco Barbanera, Stefano Berardi, Massimo Schivalocchi. 365-390
- Environments, Continuation Semantics and Indexed CategoriesJohn Power, Hayo Thielecke. 391-414
- Comparing Object EncodingsKim B. Bruce, Luca Cardelli, Benjamin C. Pierce. 415-438
- System F with Width-Subtyping and Record UpdatingErik Poll. 439-457
- Relational Interpretations of Recursive Types in an operational Setting (Summary)Lars Birkedal, Robert Harper. 458-490
- Extending a Logical Framework with a Modal Connective for ValiditySeán Matthews. 491-514
- Using Reflection to Build Efficient and Certified Decision ProceduresSamuel Boutin. 515-529
- Sets in Types, Types in SetsBenjamin Werner. 530-346
- Combining Petri Nets and PA-ProcessesRichard Mayr. 547-561
- Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time SystemsSatoshi Yamane, Kazuhiro Nakamura. 562-582
- Types and Models for Higher-Order Action CalculiPhilippa Gardner, Masahito Hasegawa. 583-603
- Finite-State Transducers as Regular Böhm TreesGérard P. Huet, Henri Laulhère. 604-610
- Secrecy by Typing inSecurity ProtocolsMartín Abadi. 611-638