Ravi Sethi
Conference Record of the 19th Annual Symposium on Principles of Programming Languages
POPL, 1992.

@proceedings{POPL-1992,
	acmid         = "143165",
	address       = "Albuquerque, New Mexico, USA",
	editor        = "Ravi Sethi",
	isbn          = "0-89791-453-8",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 19th Annual Symposium on Principles of Programming Languages}",
	year          = 1992,
}

Contents (31 items)

5 ×#type system
4 ×#semantics
3 ×#higher-order
3 ×#polymorphism
2 ×#abstraction
2 ×#bound
2 ×#compilation
2 ×#functional
2 ×#linear
2 ×#modelling

POPL-1992-Wadler #functional #programming

The Essence of Functional Programming (PW), pp. 1–14.

POPL-1992-GonthierAL #geometry #reduction

The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.

POPL-1992-Filinski #continuation #linear

Linear Continuations (AF), pp. 27–38.

POPL-1992-LangQP #garbage collection

Garbage Collecting the World (BL, CQ, JMP), pp. 39–50.

POPL-1992-Edelson #c++

A Mark-and-Sweep Collector for C++ (DRE), pp. 51–58.

POPL-1992-BallL #profiling #source code

Optimally Profiling and Tracing Programs (TB, JRL), pp. 59–70.

POPL-1992-NielsonN #bound #fixpoint

Bounded Fixed Point Iteration (HRN, FN), pp. 71–82.

POPL-1992-CousotC #abstract interpretation #induction #semantics

Inductive Definitions, Semantics and Abstract Interpretation (PC, RC), pp. 83–94.

POPL-1992-BarbutiCGL #modelling #prolog

Modeling Prolog Control (RB, MC, RG, GL), pp. 95–104.

POPL-1992-RinardL #semantics

Semantic Foundations of Jade (MCR, MSL), pp. 105–118.

POPL-1992-BerryMT #concurrent #ml #semantics

A Semantics for ML Concurrency Primitives (DB, RM, DNT), pp. 119–129.

POPL-1992-ChowH #analysis #memory management #parallel #source code

Compile-Time Analysis of Parallel Programs that Share Memory (JHC, WLHI), pp. 130–141.

POPL-1992-JoungS #complexity #interactive #multi

A Comprehensive Study of the Complexity of Multiparty Interaction (YJJ, SAS), pp. 142–153.

POPL-1992-Ohori #calculus #compilation #polymorphism

A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.

POPL-1992-Remy #for free #type system

Typing Record Concatenation for Free (DR), pp. 166–176.

POPL-1992-Leroy #polymorphism #type system

Unboxed Objects and Polymorphic Typing (XL), pp. 177–188.

POPL-1992-Tofte #higher-order

Principal Signatures for Higher-Order Program Modules (MT), pp. 189–199.

POPL-1992-Cosmo #framework #morphism

Type Isomorphisms in a Type-Assignment Framework (RDC), pp. 200–210.

POPL-1992-Farnum

Pattern-Based Tree Attribution (CF), pp. 211–222.

POPL-1992-FarrowMY #attribute grammar #composition #design #implementation

Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.

POPL-1992-BatesL #linear #lr #string

Recognizing Substrings of LR(k) Languages in Linear Time (JB, AL), pp. 235–245.

POPL-1992-Gupta

Generalized Dominators and Post-Dominators (RG), pp. 246–257.

POPL-1992-Jorgensen #compilation #generative #lazy evaluation #partial evaluation

Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.

POPL-1992-NirkheP #imperative #partial evaluation #programming language #realtime

Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.

POPL-1992-Ma #parametricity #type system

Parametricity as Subtyping (QM), pp. 281–292.

POPL-1992-LincolnM #algorithm #aspect-oriented #type inference #type system

Algorithmic Aspects of Type Inference with Subtypes (PL, JCM), pp. 293–304.

POPL-1992-Pierce #bound #decidability #quantifier

Bounded Quantification is Undecidable (BCP), pp. 305–315.

POPL-1992-BruceM #higher-order #modelling #morphism #polymorphism #recursion #type system

PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism (KBB, JCM), pp. 316–327.

POPL-1992-CartwrightF #abstraction

Observable Sequentiality and Full Abstraction (RC, MF), pp. 328–342.

POPL-1992-ClarkeGL #abstraction #model checking

Model Checking and Abstraction (EMC, OG, DEL), pp. 342–354.

POPL-1992-JagadeesanP #functional #higher-order #logic #semantics

Abstract Semantics for a Higher-Order Functional Language with Logic Variables (RJ, KP), pp. 355–366.