Abstract is missing.
- Type Processing by Constraint ReasoningPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny. 1-25 [doi]
- Principal Type Inference for GHC-Style Multi-parameter Type ClassesMartin Sulzmann, Tom Schrijvers, Peter J. Stuckey. 26-43 [doi]
- Private Row Types: Abstracting the UnnamedJacques Garrigue. 44-60 [doi]
- Type and Effect System for Multi-staged ExceptionsHyunjun Eo, Ik-Soon Kim, Kwangkeun Yi. 61-78 [doi]
- Relational Reasoning for Recursive Types and ReferencesNina Bohr, Lars Birkedal. 79-96 [doi]
- Proof Abstraction for Imperative LanguagesWilliam L. Harrison. 97-113 [doi]
- Reading, Writing and RelationsNick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer. 114-130 [doi]
- A Fine-Grained Join Point Model for More Reusable AspectsHidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa. 131-147 [doi]
- Automatic Testing of Higher Order FunctionsPieter W. M. Koopman, Marinus J. Plasmeijer. 148-164 [doi]
- Event Driven Software QualityJens Palsberg. 165 [doi]
- Widening Polyhedra with LandmarksAxel Simon, Andy King. 166-182 [doi]
- Comparing Completeness Properties of Static Analyses and Their LogicsDavid A. Schmidt. 183-199 [doi]
- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage AnalysisTobias Gedell, Jörgen Gustavsson, Josef Svenningsson. 200-216 [doi]
- A Modal Language for the Safety of Mobile ValuesSungwoo Park. 217-233 [doi]
- An Analysis for Proving Temporal Properties of Biological SystemsRoberta Gori, Francesca Levi. 234-252 [doi]
- Computational Secrecy by Typing for the Pi CalculusMartín Abadi, Ricardo Corin, Cédric Fournet. 253-269 [doi]
- Scheme with Classes, Mixins, and TraitsMatthew Flatt, Robby Findler, Matthias Felleisen. 270-289 [doi]
- Using Metadata Transformations to Integrate Class Extensions in an Existing Class HierarchyMarkus Lumpe. 290-306 [doi]
- Combining Offline and Online Optimizations: Register Allocation and Method InliningHiroshi Yamauchi, Jan Vitek. 307-322 [doi]
- A Localized Tracing Scheme Applied to Garbage CollectionYannis Chicha, Stephen M. Watt. 323-339 [doi]
- A Pushdown Machine for Recursive XML ProcessingKeisuke Nakano, Shin-Cheng Mu. 340-356 [doi]
- XML Validation for Context-Free GrammarsYasuhiko Minamide, Akihiko Tozawa. 357-373 [doi]
- A Practical String Analyzer by the Widening ApproachTae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh. 374-388 [doi]
- A Bytecode Logic for JML and TypesLennart Beringer, Martin Hofmann. 389-405 [doi]
- On Jones-Optimal Specializers: A Case Study Using UnmixJohan Gade, Robert Glück. 406-422 [doi]