Type Processing by Constraint Reasoning
Peter Stuckey
Principal Type Inference for GHC-Style Multi-Parameter Type Classes
Martin Sulzmann, Tom Schrijvers and Peter J Stuckey
Private row types: abstracting the unnamed
Jacques Garrigue
Type and Effect System for Multi-Staged Exceptions
Hyunjun Eo, Ik-Soon Kim and Kwangkeun Yi
Relational Reasoning for Recursive Types and References
Nina Bohr and Lars Birkedal
Proof Abstraction for Imperative Languages
William L. Harrison
Reading, Writing and Relations
Nick Benton, Andrew Kennedy, Martin Hofmann and Lennart Beringer
A Localized Tracing Scheme for Garbage Collection
Yannis Chicha and Stephen M. Watt
Automatic Testing of Higher Order Functions
Pieter Koopman and Rinus Plasmeijer
Event Driven Software Quality
Jens Palsberg
Widening Polyhedra with Landmarks
Axel Simon and Andy King
Comparing completeness properties of static analyses and their logics
David Schmidt
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types
in Usage Analysis
Tobias Gedell, Jorgen Gustavsson and Josef Svenningsson
A Modal Language for the Safety of Mobile Values
Sungwoo Park
An Analysis for Proving Temporal Properties of Biological Systems
Roberta Gori and Francesca Levi
Computational Secrecy by Typing for the Pi Calculus
Martin Abadi, Ricardo Corin and Cedric Fournet
Scheme with Classes, Mixins, and Traits
Matthew Flatt
Using Metadata Transformations to Integrate Class Extensions in an
Existing Class Hierarchy
Markus Lumpe
Combining Offline and Online Optimizations: Register Allocation and
Method Inlining
Hiroshi Yamauchi and Jan Vitek
A Fine-Grained Join Point Model for More Reusable Aspects
Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa
A Pushdown Machine for Recursive XML Processing
Keisuke Nakano and Shin-Cheng Mu
XML Validation for Context-Free Grammars
Yasuhiko Minamide and Akihiko Tozawa
A Practical String Analyzer by the Widening Approach
Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh
A bytecode logic for JML and Types
Lennart Beringer and Martin Hofmann
On Jones-Optimal Specializers: A Case Study Using Unmix
Johan Gade and Robert Glueck