Abstract is missing.
- Higher-Order unCurryingJohn Hannan, Patrick Hicks. 1-11 [doi]
- Alias Analysis of Executable CodeSaumya K. Debray, Robert Muth, Matthew Weippert. 12-24 [doi]
- Escape Analysis: Correctness Proof, Implementation and Experimental ResultsBruno Blanchet. 25-37 [doi]
- Data Flow Analysis is Model Checking of Abstract InterpretationsDavid A. Schmidt. 38-48 [doi]
- Bridging the Gulf: A Common Intermediate Language for ML and HaskellSimon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach. 49-61 [doi]
- Correctness of Monadic State: An Imperative Call-by-Need CalculusZena M. Ariola, Amr Sabry. 62-74 [doi]
- A Functional Representation of Data Structures with a HoleYasuhiko Minamide. 75-84 [doi]
- From System F to Typed Assembly LanguageJ. Gregory Morrisett, David Walker, Karl Crary, Neal Glew. 85-97 [doi]
- Maximal Static ExpansionDenis Barthou, Albert Cohen, Jean-Francois Collard. 98-106 [doi]
- Array SSA Form and Its Use in ParallelizationKathleen Knobe, Vivek Sarkar. 107-120 [doi]
- Putting Pointer Analysis to WorkRakesh Ghiya, Laurie J. Hendren. 121-133 [doi]
- Edge Profiling versus Path Profiling: The ShowdownThomas Ball, Peter Mataga, Shmuel Sagiv. 134-148 [doi]
- A Type System for Java Bytecode SubroutinesRaymie Stata, Martín Abadi. 149-160 [doi]
- Java::::::light:::::: is Type-Safe - DefinitelyTobias Nipkow, David von Oheimb. 161-170 [doi]
- Classes and MixinsMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen. 171-183 [doi]
- Manufacturing Cheap, Resilient, and Stealthy Opaque ConstructsChristian S. Collberg, Clark D. Thomborson, Douglas Low. 184-196 [doi]
- From Polyvariant Flow Information to Intersection and Union TypesJens Palsberg, Christina Pavlopoulou. 197-208 [doi]
- Inference of Polymorphic and Conditional Strictness PropertiesThomas P. Jensen. 209-221 [doi]
- Fast Interprocedural Class AnalysisGreg DeFouw, David Grove, Craig Chambers. 222-236 [doi]
- Path-Sensitive Value-Flow AnalysisRastislav Bodík, Sadun Anik. 237-251 [doi]
- Local Type InferenceBenjamin C. Pierce, David N. Turner. 252-265 [doi]
- Static Typing for Dynamic MessagesSusumu Nishimura. 266-278 [doi]
- Dynamic Typing as Staged Type InferenceMark Shields, Tim Sheard, Simon L. Peyton Jones. 289-302 [doi]
- Parallelization in Calculational FormsZhenjiang Hu, Masato Takeichi, Wei-Ngan Chin. 316-328 [doi]
- Single and Loving It: Must-Alias Analysis for Higher-Order LanguagesSuresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright. 329-341 [doi]
- Barrier InferenceAlexander Aiken, David Gay. 342-354 [doi]
- Secure Information Flow in a Multi-Threaded Imperative LanguageGeoffrey Smith, Dennis M. Volpano. 355-364 [doi]
- The SLam Calculus: Programming with Secrecy and IntegrityNevin Heintze, Jon G. Riecke. 365-377 [doi]
- A Typed Language for Distributed Mobile Processes (Extended Abstract)James Riely, Matthew Hennessy. 378-390 [doi]
- Security Properties of Typed AppletsXavier Leroy, François Rouaix. 391-403 [doi]