@proceedings{ Popl94,
		Title = "Proceedings of the Twenty-First ACM
			SIGACT-SIGPLAN Symposium on Principles of
			Programming Languages",
		Year = 1994,
		Month = "january",
		Address = "Portland, Oregon",
		Publisher = "ACM Press"
	    }

@inproceedings{ Popl94:Diwan,
		Author = {Amer Diwan and David Tarditi and Eliot {Moss
			(Carnegie Mellon University)}},
		Title = "Memory Subsystem Performance of Programs
			Using Copying Garbage Collection",
		Pages = {1-14}
	      }

@inproceedings{ Popl94:Ramsey,
		Author = {Norman {Ramsey (Bell Communications Research)}},
		Title = "Correctness of Trap-Based Breakpoint
			Implementations",
		Pages = {15-24}
	      }

@inproceedings{ Popl94:Agrawal,
		Author = {Hiralal {Agrawal (Bell Communications
			Research)}},
		Title = "Dominators, Super Blocks, and Program Coverage",
		Pages = {25-34}
	      }

@inproceedings{ Popl94:Garrigue,
		Author = {Jacques {Garrigue (The University of Tokyo)}
			and Hassan {A{\"\i}t-Kaci (DEC Paris Research
			Laboratory)}},
		Title = "The Typed Polymorphic Label-Selective
			lambda-Calculus",
		Pages = {35-47}
	      }

@inproceedings{ Popl94:Odersky,
		Author = {Martin {Odersky (Universit\"at Karlsruhe)}},
		Title = "A Functional Theory of Local Names",
		Pages = {48-59}
	      }

@inproceedings{ Popl94:Lescanne,
		Author = {Pierre {Lescanne (Centre de Recherche en
			Informatique de Nancy and INRIA-Lorraine)}},
		Title = "From Lambda-sigma to Lambda-upsilon a Journey
			Through Calculi of Explicit Substitutions",
		Pages = {60-69}
	      }

@inproceedings{ Popl94:Doligez,
		Author = {Damien {Doligez (Ecole Normale Sup\'erieure)}
			and Georges Gonthier {(INRIA Rocquencourt)}},
		Title = "Portable, Unobtrusive Garbage Collection for
			Multiprocessor Systems",
		Pages = {70-83}
	      }

@inproceedings{ Popl94:Nielson,
		Author = {Hanne Riis Nielson and Flemming {Nielson
			(Aarhus University)}},
		Title = "Higher-Order Concurrent Programs with Finite
			Communication Topology",
		Pages = {84-97}
	      }

@inproceedings{ Popl94:Boer,
		Author = {F. S. de {Boer (Free University, Amsterdam)}
			and M. Gabrielli and Elena Marchiori {(CWI,
			Amsterdam)} and C. Palamidessi {(Universit\'a di
			Genova)}},
		Title = "Proving Concurrent Constraint Programs Correct",
		Pages = {98-108}
	      }

@inproceedings{ Popl94:Leroy,
		Author = {Xavier {Leroy (Stanford University)}},
		Title = "Manifest Types, Modules, and Separate Compilation",
		Pages = {109-122}
	      }

@inproceedings{ Popl94:Harper,
		Author = {Robert Harper and Mark {Lillibridge (Carnegie
			Mellon University)}},
		Title = "A Type-Theoretic Approach to Higher-Order
			Modules with Sharing",
		Pages = {123-137}
	      }

@inproceedings{ Popl94:Katiyar,
		Author = {Dinesh Katiyar and David Luckham and John
			{Mitchell (Stanford University)}},
		Title = "A Type System for Prototyping Languages",
		Pages = {138-150}
	      }

@inproceedings{ Popl94:Castagna,
		Author = {Giuseppe {Castagna (LIENS{(CNRS)}-DMI)} and
			Benjamin Pierce {(University of Edinburgh)}},
		Title = "Decidable Bounded Quantification",
		Pages = {151-162}
	      }

@inproceedings{ Popl94:Aiken,
		Author = {Alexander Aiken and Edward L. {Wimmers (IBM
			Almaden Research Center)} and T. K. Lakshman
			{(University of Illinois at Urbana-Champaign)}},
		Title = "Soft Typing with Conditional Types",
		Pages = {163-173}
	      }

@inproceedings{ Popl94:Thatte,
		Author = {Satish {Thatte (Clarkson University)}},
		Title = "Automated Synthesis of Interface Adapters for
			Reusable Classes",
		Pages = {174-187}
	      }

@inproceedings{ Popl94:Tofte,
		Author = {Mads {Tofte (University of Copenhagen)} and
			Jean-Pierre Talpin {(European Computer-Industry
			Research Center)}},
		Title = "Implementation of the Typed Call-by-Value
			lambda-Calculus Using a Stack of Regions",
		Pages = {188-201}
	      }

@inproceedings{ Popl94:Hankin,
		Author = {Chris {Hankin (Imperial College)} and Daniel
			Le Metayer {(INRIA/IRISA, Rennes)}},
		Title = "Deriving Algorithms From Type Inference
			Systems: Application to Strictness Analysis",
		Pages = {202-212}
	      }

@inproceedings{ Popl94:Henglein,
		Author = {Fritz Henglein and Jesper {Jorgensen
			(University of Copenhagen)}},
		Title = "Formally Optimal Boxing",
		Pages = {213-226}
	      }

@inproceedings{ Popl94:Cortesi,
		Author = {A. Cortesi and Pascal Van {Hentenryck (Brown
			University)} and B. Le {Charlier (University of
			Namur)}},
		Title = "Combinations of Abstract Domains for Logic
			Programming",
		Pages = {227-239}
	      }

@inproceedings{ Popl94:Marriott,
		Author = {Kim {Marriott (Monash University)} and Maria
			Jose Garcia de la Banda and Manuel
			{Hermenegildo (UPM, Madrid)}},
		Title = "Analyzing Logic Programs with Dynamic Scheduling",
		Pages = {240-253}
	      }

@inproceedings{ Popl94:Qian,
		Author = {Zhenyu {Qian (Universit\"at Bremen)}},
		Title = "Higher-Order Equational Logic Programming",
		Pages = {254-267}
	      }

@inproceedings{ Popl94:Antoy,
		Author = {Sergio {Antoy (Portland State University)} and
			Rachid {Echahed (IMAG-LGI, CNRS, Grenoble)} and
			Michael {Hanus (MPI Informatik, Saarbruecken)}},
		Title = "A Needed Narrowing Strategy",
		Pages = {268-279}
	      }

@inproceedings{ Popl94:Proebsting,
		Author = {Todd A. {Proebsting (University of Arizona)}
			and Christopher W. {Fraser (AT\&T Bell
			Laboratories)}},
		Title = "Detecting Pipeline Structural Hazards Quickly",
		Pages = {280-286}
	      }

@inproceedings{ Popl94:Ramalingam,
		Author = {G. Ramalingam and Thomas {Reps (University of
			Wisconson-Madison)}},
		Title = "An Incremental Algorithm for Maintaining the
			Dominator Tree of a Reducible Flowgraph",
		Pages = {287-298}
	      }

@inproceedings{ Popl94:Weise,
		Author = {Daniel Weise and Roger F. Crew and Michael
			Ernst and Bjarne {Steensgaard (Microsoft
			Research)}},
		Title = "Value Dependence Graphs: Representation
			without Taxation",
		Pages = {297-310}
	      }

@inproceedings{ Popl94:Maslov,
		Author = {Vadim {Maslov (University of Maryland)}},
		Title = "Lazy Array Data-Flow Dependence Analysis",
		Pages = {311-325}
	      }

@inproceedings{ Popl94:Cleaveland,
		Author = {Rance Cleaveland and Daniel {Yankelevich
			(North Carolina State University)}},
		Title = "An Operational Framework for Value-Passing
			Processes",
		Pages = {326-338}
	      }

@inproceedings{ Popl94:Bloom,
		Author = "Bard {Bloom (Cornell University)}",
		Title = {{CHOCOLATE: Calculi of Higher Order
			COmmunication and LAmbda TErms}},
		Pages = {339-347}
	      }

@inproceedings{ Popl94:Honda,
		Author = {Kohei Honda and Nobuko {Yoshida (Keio
			University)}},
		Title = "Combinatory Representation of Mobile Processes",
		Pages = {348-360}
	      }

@inproceedings{ Popl94:Paakki,
		Author = {Jukka {Paakki (University of Jyv\"{a}skyl\"{a})}},
		Title = "Multi-Pass Execution of Functional Logic
			Programs",
		Pages = {361-374}
	      }

@inproceedings{ Popl94:Boyland,
		Author = {John Boyland and Susan {Graham (University of
			California, Berkeley)}},
		Title = "Composing Tree Attributions",
		Pages = {375-388}
	      }

@inproceedings{ Popl94:Muller,
		Author = {Robert {Muller (Apple Computer)}},
		Title = "A Staging Calculus and its Application to the
			Verification of Translators",
		Pages = {389-396}
	      }

@inproceedings{ Popl94:Calder,
		Author = {Brad Calder and Dirk {Grunwald (University of
			Colorado at Boulder)}},
		Title = "Reducing Indirect Function call Overhead in
			C++ Programs",
		Pages = {397-408}
	      }

@inproceedings{ Popl94:Bosschere,
		Author = {Koen de {Bosschere (Universiteit Gent)} and
			Saumya K. Debray, David Gudeman and Sampath
			Kannan {(The University of Arizona)}},
		Title = "Call Forwarding: A Simple Interprocedural
			Optimization Technique for Dynamically Typed
			Languages",
		Pages = {409-420}
	      }

@inproceedings{ Popl94:Feigen,
		Author = {Lawrence Feigen and David Klappholz and
			Robert Casazza and Xing {Xue (Stevens Institute
			of Technology)}},
		Title = "The Revival Transformation",
		Pages = {421-434}
	      }

@inproceedings{ Popl94:Wand,
		Author = {Mitchell Wand and Paul {Steckler
			(Northeastern University)}},
		Title = "Selective and Lightweight Closure Conversion",
		Pages = {435-445}
	      }

@inproceedings{ Popl94:Filinski,
		Author = {Andrzej {Filinski (Carnegie Mellon
			University)}},
		Title = "Representing Monads",
		Pages = {446-458}
	      }

@inproceedings{ Popl94:Hatcliff,
		Author = {John {Hatcliff (Kansas State University)} and
			Olivier {Danvy (Aarhus University)}},
		Title = "A Generic Account of Continuation-Passing
			Styles",
		Pages = {458-471}
	      }

@inproceedings{ Popl94:Steele,
		Author = {Guy L. {Steele Jr. (Thinking Machines
			Corporation)}},
		Title = "Building Interpreters by Composing Monads",
		Pages = {472-492}
	      }