Abstract is missing.
- AnnoDomini: From Type Theory to Year 2000 Conversion ToolPeter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte. 1-14 [doi]
- Once Upon a Polymorphic TypeKeith Wansbrough, Simon L. Peyton Jones. 15-28 [doi]
- Quasi-Linear TypesNaoki Kobayashi. 29-42 [doi]
- A Compositional Account of the Java Virtual MachinePhillip M. Yelland. 57-69 [doi]
- Types for Mobile AmbientsLuca Cardelli, Andrew D. Gordon. 79-92 [doi]
- Trust and Partial Typing in Open Systems of Mobile AgentsJames Riely, Matthew Hennessy. 93-104 [doi]
- Parametric Shape Analysis via 3-Valued LogicShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm. 105-118 [doi]
- Aggregate Structure Identification and Its Application to Program AnalysisGanesan Ramalingam, John Field, Frank Tip. 119-132 [doi]
- Relevant Context InferenceRamkrishna Chatterjee, Barbara G. Ryder, William Landi. 133-146 [doi]
- A Core Calculus of DependencyMartín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke. 147-160 [doi]
- Principality and Decidable Type Inference for Finite-Rank Intersection TypesA. J. Kfoury, J. B. Wells. 161-174 [doi]
- Representing Layered MonadsAndrzej Filinski. 175-188 [doi]
- Stochastic Processes as Concurrent Constraint ProgramsVineet Gupta, Radha Jagadeesan, Prakash Panangaden. 189-202 [doi]
- Extending the Scope of Syntactic AbstractionOscar Waddell, R. Kent Dybvig. 203-215 [doi]
- Dependent Types in Practical ProgrammingHongwei Xi, Frank Pfenning. 214-227 [doi]
- JFlow: Practical Mostly-Static Information Flow ControlAndrew C. Myers. 228-241 [doi]
- Type-Safe Linking and Modular Assembly LanguageNeal Glew, J. Gregory Morrisett. 250-261 [doi]
- Typed Memory Management in a Calculus of CapabilitiesKarl Crary, David Walker, J. Gregory Morrisett. 262-275 [doi]
- Type-Based Analysis of Uncaught ExceptionsFrançois Pessaux, Xavier Leroy. 276-290 [doi]
- Constraint Systems for Useless Variable EliminationMitchell Wand, Igor Siveroni. 291-302 [doi]
- Continuous GrammarsMartin Ruckert. 303-310 [doi]
- Software Watermarking: Models and Dynamic EmbeddingsChristian S. Collberg, Clark D. Thomborson. 311-324 [doi]