Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1999 (conf/popl/99)

1. Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
   AnnoDomini: From Type Theory to Year 2000 Conversion Tool. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:1-14 [Conf]
   
2. Keith Wansbrough, Simon L. Peyton Jones
   Once Upon a Polymorphic Type. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:15-28 [Conf]
   
3. Naoki Kobayashi
   Quasi-Linear Types. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:29-42 [Conf]
   
4. Andrew Moran, David Sands
   Improvement in a Lazy Context: An Operational Theory for Call-by-Need. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:43-56 [Conf]
   
5. Phillip M. Yelland
   A Compositional Account of the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:57-69 [Conf]
   
6. Robert O'Callahn
   A Simple, Comprehensive Type System for Java Bytecode Subroutines. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:70-78 [Conf]
   
7. Luca Cardelli, Andrew D. Gordon
   Types for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:79-92 [Conf]
   
8. James Riely, Matthew Hennessy
   Trust and Partial Typing in Open Systems of Mobile Agents. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:93-104 [Conf]
   
9. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
   Parametric Shape Analysis via 3-Valued Logic. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:105-118 [Conf]
   
10. G. Ramalingam, John Field, Frank Tip
    Aggregate Structure Identification and Its Application to Program Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:119-132 [Conf]
    
11. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
    Relevant Context Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:133-146 [Conf]
    
12. Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    A Core Calculus of Dependency. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:147-160 [Conf]
    
13. A. J. Kfoury, J. B. Wells
    Principality and Decidable Type Inference for Finite-Rank Intersection Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:161-174 [Conf]
    
14. Andrzej Filinski
    Representing Layered Monads. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:175-188 [Conf]
    
15. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Stochastic Processes as Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:189-202 [Conf]
    
16. Oscar Waddell, R. Kent Dybvig
    Extending the Scope of Syntactic Abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:203-215 [Conf]
    
17. Hongwei Xi, Frank Pfenning
    Dependent Types in Practical Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:214-227 [Conf]
    
18. Andrew C. Myers
    JFlow: Practical Mostly-Static Information Flow Control. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:228-241 [Conf]
    
19. M. Anton Ertl
    Optimal Code Selection in DAGs. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:242-249 [Conf]
    
20. Neal Glew, J. Gregory Morrisett
    Type-Safe Linking and Modular Assembly Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:250-261 [Conf]
    
21. Karl Crary, David Walker, J. Gregory Morrisett
    Typed Memory Management in a Calculus of Capabilities. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:262-275 [Conf]
    
22. François Pessaux, Xavier Leroy
    Type-Based Analysis of Uncaught Exceptions. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:276-290 [Conf]
    
23. Mitchell Wand, Igor Siveroni
    Constraint Systems for Useless Variable Elimination. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:291-302 [Conf]
    
24. Martin Ruckert
    Continuous Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:303-310 [Conf]
    
25. Christian S. Collberg, Clark D. Thomborson
    Software Watermarking: Models and Dynamic Embeddings. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:311-324 [Conf]