ask others

18. POPL 1991: Orlando, Florida, USA

> Home > Conferences and Workshops > POPL

- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/1991
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/1991
David S. Wise:
Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991. ACM Press 1991, ISBN 0-89791-419-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SundareshH91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SundareshH91
R. S. Sundaresh, Paul Hudak:
Incremental Compilation via Partial Evaluation. 1-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ConselD91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ConselD91
Charles Consel, Olivier Danvy:
Static and Dynamic Semantics Processing. 14-24
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Odersky91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Odersky91
Martin Odersky:
How to Make Destructive Updates Less Destructive. 25-36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SekarMR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SekarMR91
R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan:
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. 37-48
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/popl/AbramskyJ91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AbramskyJ91
Samson Abramsky, Thomas P. Jensen:
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. 49-54
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ChoiCF91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ChoiCF91
Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
Automatic Construction of Sparse Data Flow Evaluation Graphs. 55-66
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/PingaliBJMS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/PingaliBJMS91
Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill:
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. 67-78
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/PinterP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/PinterP91
Shlomit S. Pinter, Ron Y. Pinter:
Program Optimization and Parallelization Using Idioms. 79-92
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/LandiR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/LandiR91
William Landi, Barbara G. Ryder:
Pointer-Induced Aliasing: A Problem Classification. 93-103
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AmadioC91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AmadioC91
Roberto M. Amadio, Luca Cardelli:
Subtyping Recursive Types. 104-118
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HengleinM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HengleinM91
Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. 119-130
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HarperP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HarperP91
Robert Harper, Benjamin C. Pierce:
A Record Calculus Based on Symmetric Concatenation. 131-142
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/CaiP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/CaiP91
Jiazhen Cai, Robert Paige:
"Look Ma, No Hashing, And No Arrays Neither". 143-154
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ClingerR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ClingerR91
William D. Clinger, Jonathan Rees:
Macros That Work. 155-162
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/DubaHM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/DubaHM91
Bruce F. Duba, Robert Harper, David B. MacQueen:
Typing First-Class Continuations in ML. 163-173
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/QueinnecS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/QueinnecS91
Christian Queinnec, Bernard P. Serpette:
A Dynamic Extent Control Operator for Partial Continuations. 174-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SitaramF91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SitaramF91
Dorai Sitaram, Matthias Felleisen:
Modeling Continuations without Continuations. 185-196
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/LuccoS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/LuccoS91
Steven Lucco, Oliver Sharp:
Parallel Programming With Coordination Structures. 197-208
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/JoungS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/JoungS91
Yuh-Jzer Joung, Scott A. Smolka:
Coordinating First-Order Multiparty Interactions. 209-220
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/KleinmanMPS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/KleinmanMPS91
Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro:
Communication with Directed Logic Variables. 221-232
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/CrankF91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/CrankF91
Erik Crank, Matthias Felleisen:
Parameter-Passing and the Lambda Calculus. 233-244
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Riecke91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Riecke91
Jon G. Riecke:
Fully Abstract Translations between Functional Languages. 245-254
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Maranget91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Maranget91
Luc Maranget:
Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. 255-269
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/MitchellMM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/MitchellMM91
John C. Mitchell, Sigurd Meldal, Neel Madhav:
An Extension of Standard ML Modules with Subtyping and Inheritance. 270-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AikenM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AikenM91
Alexander Aiken, Brian R. Murphy:
Static Type Inference in a Dynamically Typed Language. 279-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/LeroyW91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/LeroyW91
Xavier Leroy, Pierre Weis:
Polymorphic Type Inference and Assignment. 291-302
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/JouvelotG91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/JouvelotG91
Pierre Jouvelot, David K. Gifford:
Algebraic Reconstruction of Types and Effects. 303-310
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Pratt91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Pratt91
Vaughan R. Pratt:
Modeling Concurrency with Geometry. 311-322
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AbadiP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AbadiP91
Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition and Refinement. 323-332
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SaraswatRP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SaraswatRP91
Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming. 333-352
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HenzingerMP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HenzingerMP91
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. 353-366

maintained by

, founded at