Abstract is missing.
- Types for Hierarchic ShapesSophia Drossopoulou, Dave Clarke, James Noble. 1-6 [doi]
- Linear Regions Are All You NeedMatthew Fluet, Greg Morrisett, Amal J. Ahmed. 7-21 [doi]
- Type-Based Amortised Heap-Space AnalysisMartin Hofmann, Steffen Jost. 22-37 [doi]
- Haskell Is Not Not MLBen Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones. 38-53 [doi]
- Coinductive Big-Step Operational SemanticsXavier Leroy. 54-68 [doi]
- Step-Indexed Syntactic Logical Relations for Recursive and Quantified TypesAmal J. Ahmed. 69-83 [doi]
- Approaches to Polymorphism in Classical Sequent CalculusAlexander J. Summers, Steffen van Bakel. 84-99 [doi]
- Pure Pattern CalculusC. Barry Jay, Delia Kesner. 100-114 [doi]
- A Verification Methodology for Model FieldsK. Rustan M. Leino, Peter Müller. 115-130 [doi]
- ILC: A Foundation for Automated Reasoning About Pointer ProgramsLimin Jia, David Walker. 131-145 [doi]
- Bisimulations for Untyped Imperative ObjectsVasileios Koutavas, Mitchell Wand. 146-161 [doi]
- A Typed Assembly Language for ConfidentialityDachuan Yu, Nayeem Islam. 162-179 [doi]
- Flow Locks: Towards a Core Calculus for Dynamic Flow PoliciesNiklas Broberg, David Sands. 180-196 [doi]
- A Basic Contract Language for Web ServicesSamuele Carpineti, Cosimo Laneve. 197-213 [doi]
- Types for Dynamic ReconfigurationJoão Costa Seco, Luís Caires. 214-229 [doi]
- Size-Change Termination Analysis in ::::k::::-BitsMichael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey. 230-245 [doi]
- Path Optimization in Programs and Its Application to DebuggingAkash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit. 246-263 [doi]
- Inference of User-Defined Type Qualifiers and Qualifier RulesBrian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg. 264-278 [doi]
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted FunctionsSumit Gulwani, Ashish Tiwari. 279-293 [doi]
- Embedding Dynamic Dataflow in a Call-by-Value LanguageGregory H. Cooper, Shriram Krishnamurthi. 294-308 [doi]
- Polymorphic Type Inference for the JNIMichael Furr, Jeffrey S. Foster. 309-324 [doi]
- Type Safety of Generics for the .NET Common Language RuntimeNicu G. Fruja. 325-341 [doi]
- The Weird World of Bi-directional ProgrammingBenjamin C. Pierce. 342-342 [doi]