default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th POPL 1991: Orlando, Florida, USA
- 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 - R. S. Sundaresh, Paul Hudak:
Incremental Compilation via Partial Evaluation. 1-13 - Charles Consel, Olivier Danvy
:
Static and Dynamic Semantics Processing. 14-24 - Martin Odersky:
How to Make Destructive Updates Less Destructive. 25-36 - R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan:
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. 37-48 - Samson Abramsky, Thomas P. Jensen:
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. 49-54 - Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
Automatic Construction of Sparse Data Flow Evaluation Graphs. 55-66 - Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill:
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. 67-78 - Shlomit S. Pinter, Ron Y. Pinter:
Program Optimization and Parallelization Using Idioms. 79-92 - William Landi, Barbara G. Ryder:
Pointer-Induced Aliasing: A Problem Classification. 93-103 - Roberto M. Amadio, Luca Cardelli:
Subtyping Recursive Types. 104-118 - Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. 119-130 - Robert Harper, Benjamin C. Pierce:
A Record Calculus Based on Symmetric Concatenation. 131-142 - Jiazhen Cai, Robert Paige:
"Look Ma, No Hashing, And No Arrays Neither". 143-154 - William D. Clinger, Jonathan Rees:
Macros That Work. 155-162 - Bruce F. Duba, Robert Harper, David B. MacQueen:
Typing First-Class Continuations in ML. 163-173 - Christian Queinnec, Bernard P. Serpette:
A Dynamic Extent Control Operator for Partial Continuations. 174-184 - Dorai Sitaram, Matthias Felleisen:
Modeling Continuations without Continuations. 185-196 - Steven Lucco, Oliver Sharp:
Parallel Programming With Coordination Structures. 197-208 - Yuh-Jzer Joung, Scott A. Smolka:
Coordinating First-Order Multiparty Interactions. 209-220 - Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro:
Communication with Directed Logic Variables. 221-232 - Erik Crank, Matthias Felleisen:
Parameter-Passing and the Lambda Calculus. 233-244 - Jon G. Riecke:
Fully Abstract Translations between Functional Languages. 245-254 - Luc Maranget:
Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. 255-269 - John C. Mitchell, Sigurd Meldal, Neel Madhav:
An Extension of Standard ML Modules with Subtyping and Inheritance. 270-278 - Alexander Aiken, Brian R. Murphy:
Static Type Inference in a Dynamically Typed Language. 279-290 - Xavier Leroy, Pierre Weis:
Polymorphic Type Inference and Assignment. 291-302 - Pierre Jouvelot, David K. Gifford:
Algebraic Reconstruction of Types and Effects. 303-310 - Vaughan R. Pratt:
Modeling Concurrency with Geometry. 311-322 - Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition and Refinement. 323-332 - Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming. 333-352 - Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. 353-366
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 23:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
