Abstract is missing.
- The essence of XMLJérôme Siméon, Philip Wadler. 1-13 [doi]
- Selective memoizationUmut A. Acar, Guy E. Blelloch, Robert Harper. 14-25 [doi]
- Environment classifiersWalid Taha, Michael Florentin Nielsen. 26-37 [doi]
- Bigraphs and transitionsOle Høgh Jensen, Robin Milner. 38-49 [doi]
- The m-calculus: a higher-order distributed process calculusAlan Schmitt, Jean-Bernard Stefani. 50-61 [doi]
- A generic approach to the static analysis of concurrent programs with proceduresAhmed Bouajjani, Javier Esparza, Tayssir Touili. 62-73 [doi]
- Discovering affine equalities using random interpretationSumit Gulwani, George C. Necula. 74-84 [doi]
- Bitwidth aware global register allocationSriraman Tallam, Rajiv Gupta. 85-96 [doi]
- From symptom to cause: localizing errors in counterexample tracesThomas Ball, Mayur Naik, Sriram K. Rajamani. 97-105 [doi]
- Folklore confirmed: reducible flow graphs are exponentially largerLarry Carter, Jeanne Ferrante, Clark D. Thomborson. 106-114 [doi]
- Incremental algorithms for dispatching in dynamically typed languagesYoav Zibin, Joseph Gil. 126-138 [doi]
- From control effects to typed continuation passingHayo Thielecke. 139-149 [doi]
- Coercive subtyping for the calculus of constructionsGang Chen. 150-159 [doi]
- Efficient algorithms for isomorphisms of simple typesYoav Zibin, Joseph Gil, Jeffrey Considine. 160-171 [doi]
- A type theory for memory allocation and data layoutLeaf Petersen, Robert Harper, Karl Crary, Frank Pfenning. 172-184 [doi]
- Static prediction of heap space usage for first-order functional programsMartin Hofmann, Steffen Jost. 185-197 [doi]
- Toward a foundational typed assembly languageKarl Crary. 198-212 [doi]
- Ownership types for object encapsulationChandrasekhar Boyapati, Barbara Liskov, Liuba Shrira. 213-223 [doi]
- Guarded recursive datatype constructorsHongwei Xi, Chiyan Chen, Gang Chen. 224-235 [doi]
- A type system for higher-order modulesDerek Dreyer, Karl Crary, Robert Harper. 236-249 [doi]
- Pure patterns type systemsGilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. 250-261 [doi]
- Destructors, finalizers, and synchronizationHans-Juergen Boehm. 262-272 [doi]
- Interprocedural compatibility analysis for static object preallocationOvidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard. 273-284 [doi]
- A real-time garbage collector with low overhead and consistent utilizationDavid F. Bacon, Perry Cheng, V. T. Rajan. 285-298 [doi]