19. POPL 1992:
Albuquerque,
New Mexico
Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Albuquerque, New Mexico, January 1992.
- Philip Wadler:
The Essence of Functional Programming.
1-14 BibTeX
- Georges Gonthier, Martín Abadi, Jean-Jacques Lévy:
The Geometry of Optimal Lambda Reduction.
15-26 BibTeX
- Andrzej Filinski:
Linear Continuations.
27-38 BibTeX
- Bernard Lang, Christian Queinnec, José M. Piquer:
Garbage Collecting the World.
39-50 BibTeX
- Daniel R. Edelson:
A Mark-and-Sweep Collector for C++.
51-58 BibTeX
- Thomas Ball, James R. Larus:
Optimally Profiling and Tracing Programs.
59-70 BibTeX
- Hanne Riis Nielson, Flemming Nielson:
Bounded Fixed Point Iteration.
71-82 BibTeX
- Patrick Cousot, Radhia Cousot:
Inductive Definitions, Semantics and Abstract Interpretation.
83-94 BibTeX
- Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modeling Prolog Control.
95-104 BibTeX
- Martin C. Rinard, Monica S. Lam:
Semantic Foundations of Jade.
105-118 BibTeX
- Dave Berry, Robin Milner, David N. Turner:
A Semantics for ML Concurrency Primitives.
119-129 BibTeX
- Jyh-Herng Chow, Williams Ludwell Harrison III:
Compile-Time Analysis of Parallel Programs that Share Memory.
130-141 BibTeX
- Yuh-Jzer Joung, Scott A. Smolka:
A Comprehensive Study of the Complexity of Multiparty Interaction.
142-153 BibTeX
- Atsushi Ohori:
A Compilation Method for ML-Style Polymorphic Record Calculi.
154-165 BibTeX
- Didier Rémy:
Typing Record Concatenation for Free.
166-176 BibTeX
- Xavier Leroy:
Unboxed Objects and Polymorphic Typing.
177-188 BibTeX
- Mads Tofte:
Principal Signatures for Higher-Order Program Modules.
189-199 BibTeX
- Roberto Di Cosmo:
Type Isomorphisms in a Type-Assignment Framework.
200-210 BibTeX
- Charles Farnum:
Pattern-Based Tree Attribution.
211-222 BibTeX
- Rodney Farrow, Thomas J. Marlowe, Daniel M. Yellin:
Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation.
223-234 BibTeX
- Joseph Bates, Alon Lavie:
Recognizing Substrings of LR(k) Languages in Linear Time.
235-245 BibTeX
- Rajiv Gupta:
Generalized Dominators and Post-Dominators.
246-257 BibTeX
- Jesper Jørgensen:
Generating a Compiler for a Lazy Language by Partial Evaluation.
258-268 BibTeX
- Vivek Nirkhe, William Pugh:
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems.
269-280 BibTeX
- QingMing Ma:
Parametricity as Subtyping.
281-292 BibTeX
- Patrick Lincoln, John C. Mitchell:
Algorithmic Aspects of Type Inference with Subtypes.
293-304 BibTeX
- Benjamin C. Pierce:
Bounded Quantification is Undecidable.
305-315 BibTeX
- Kim B. Bruce, John C. Mitchell:
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.
316-327 BibTeX
- Robert Cartwright, Matthias Felleisen:
Observable Sequentiality and Full Abstraction.
328-342 BibTeX
- Edmund M. Clarke, Orna Grumberg, David E. Long:
Model Checking and Abstraction.
342-354 BibTeX
- Radha Jagadeesan, Keshav Pingali:
Abstract Semantics for a Higher-Order Functional Language with Logic Variables.
355-366 BibTeX
Copyright © Tue May 27 18:07:57 2008
by Michael Ley (ley@uni-trier.de)
