default search action

combined dblp search
author search
venue search
publication search

ask others

26th POPL 1999: San Antonio, Texas, USA

> Home > Conferences and Workshops > POPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/popl/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/1999
Andrew W. Appel, Alex Aiken:
POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999. ACM 1999, ISBN 1-58113-095-3

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/popl/EidorffHMNST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/EidorffHMNST99
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte:
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. 1-14

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/popl/WansbroughJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/WansbroughJ99
Keith Wansbrough, Simon L. Peyton Jones:
Once Upon a Polymorphic Type. 15-28
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Kobayashi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Kobayashi99
Naoki Kobayashi:
Quasi-Linear Types. 29-42
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MoranS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MoranS99
Andrew Moran, David Sands:
Improvement in a Lazy Context: An Operational Theory for Call-by-Need. 43-56

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/popl/Yelland99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Yelland99
Phillip M. Yelland:
A Compositional Account of the Java Virtual Machine. 57-69
- view
  authority control:
- export record
  dblp key:
  - conf/popl/OCallahn99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/OCallahn99
Robert O'Callahn:
A Simple, Comprehensive Type System for Java Bytecode Subroutines. 70-78
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CardelliG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CardelliG99
Luca Cardelli, Andrew D. Gordon:
Types for Mobile Ambients. 79-92
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RielyH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RielyH99
James Riely, Matthew Hennessy:
Trust and Partial Typing in Open Systems of Mobile Agents. 93-104

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/popl/SagivRW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SagivRW99
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
Parametric Shape Analysis via 3-Valued Logic. 105-118
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RamalingamFT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RamalingamFT99
G. Ramalingam, John Field, Frank Tip:
Aggregate Structure Identification and Its Application to Program Analysis. 119-132
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ChatterjeeRL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ChatterjeeRL99
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
Relevant Context Inference. 133-146

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/popl/AbadiBHR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AbadiBHR99
Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke:
A Core Calculus of Dependency. 147-160
- view
  authority control:
- export record
  dblp key:
  - conf/popl/KfouryW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/KfouryW99
A. J. Kfoury, J. B. Wells:
Principality and Decidable Type Inference for Finite-Rank Intersection Types. 161-174
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Filinski99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Filinski99
Andrzej Filinski:
Representing Layered Monads. 175-188

Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/popl/GuptaJP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GuptaJP99
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Stochastic Processes as Concurrent Constraint Programs. 189-202
- view
  authority control:
- export record
  dblp key:
  - conf/popl/WaddellD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/WaddellD99
Oscar Waddell, R. Kent Dybvig:
Extending the Scope of Syntactic Abstraction. 203-215
- view
  authority control:
- export record
  dblp key:
  - conf/popl/XiP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/XiP99
Hongwei Xi, Frank Pfenning:
Dependent Types in Practical Programming. 214-227
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Myers99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Myers99
Andrew C. Myers:
JFlow: Practical Mostly-Static Information Flow Control. 228-241

Session 6

- view
  authority control:
- export record
  dblp key:
  - conf/popl/Ertl99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Ertl99
M. Anton Ertl:
Optimal Code Selection in DAGs. 242-249
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GlewM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GlewM99
Neal Glew, J. Gregory Morrisett:
Type-Safe Linking and Modular Assembly Language. 250-261
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CraryWM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CraryWM99
Karl Crary, David Walker, J. Gregory Morrisett:
Typed Memory Management in a Calculus of Capabilities. 262-275

Session 7

- view
  authority control:
- export record
  dblp key:
  - conf/popl/PessauxL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/PessauxL99
François Pessaux, Xavier Leroy:
Type-Based Analysis of Uncaught Exceptions. 276-290
- view
  authority control:
- export record
  dblp key:
  - conf/popl/WandS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/WandS99
Mitchell Wand, Igor Siveroni:
Constraint Systems for Useless Variable Elimination. 291-302
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Ruckert99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Ruckert99
Martin Ruckert:
Continuous Grammars. 303-310
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CollbergT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CollbergT99
Christian S. Collberg, Clark D. Thomborson:
Software Watermarking: Models and Dynamic Embeddings. 311-324

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.