Abstract is missing.
- Functional Reactive Programming (Abstract)Paul Hudak. 1 [doi]
- A Decidable Logic for Describing Linked Data StructuresMichael Benedikt, Thomas W. Reps, Shmuel Sagiv. 2-19 [doi]
- Interprocedural Control Flow AnalysisFlemming Nielson, Hanne Riis Nielson. 20-39 [doi]
- A Per Model of Secure Information Flow in Sequential ProgramsAndrei Sabelfeld, David Sands. 40-58 [doi]
- Quotienting ::::Share:::: for Dependency AnalysisAndy King, Jan-Georg Smaus, Patricia M. Hill. 59-73 [doi]
- Types and Subtypes for Client-Server InteractionsSimon J. Gay, Malcolm Hole. 74-90 [doi]
- Types for Safe LockingCormac Flanagan, Martín Abadi. 91-108 [doi]
- Constructor SubtypingGilles Barthe, Maria João Frade. 109-127 [doi]
- Safe and Principled Language InteroperationValery Trifonov, Zhong Shao. 128-146 [doi]
- Deterministic Expressions in CMichael Norrish. 147-161 [doi]
- A Programming Logic for Sequential JavaArnd Poetzsch-Heffter, Peter Müller. 162-176 [doi]
- Set-Based Failure Analysis for Logic Programs and Concurrent Constraint ProgramsAndreas Podelski, Witold Charatonik, Martin Müller. 177-192 [doi]
- An Idealized MetaML: Simpler, and More ExpressiveEugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard. 193-207 [doi]
- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)Alan Mycroft. 208-223 [doi]
- An Operational Investigation of the CPS HierarchyOlivier Danvy, Zhe Yang. 224-242 [doi]
- Higher-Order Code SplicingPeter Thiemann. 243-257 [doi]
- Expressing Structural Properties as Language ConstructsShriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen. 258-272 [doi]
- Polytypic Compact Printing and ParsingPatrik Jansson, Johan Jeuring. 273-287 [doi]
- Dynamic Programming via Static IncrementalizationYanhong A. Liu, Scott D. Stoller. 288-305 [doi]