POPL 1999

25 papers

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