ICFP 1999

25 papers

1. A Simple Proof Technique for Certain Parametricity Results · Karl Crary
2. Atomic Heap Transactions and Fine-grain Interrupts · Olin Shivers, James W. Clark, Roland McGrath
3. Calling Hell From Heaven and Heaven From Hell · Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
4. Flexible Type Analysis · Karl Crary, Stephanie Weirich
5. From Fast Exponentiation to Square Matrices: An Adventure in Types · Chris Okasaki
6. Haskell and XML: Generic Combinators or Type-Based Translation? · Malcolm Wallace, Colin Runciman
7. Interlanguage Working Without Tears: Blending SML with Java · Nick Benton, Andrew Kennedy
8. Monadic Encapsulation in ML · Miley Semmelroth, Amr Sabry
9. On Embedding a Microarchitectural Design Language within Haskell · John Launchbury, Jeffrey R. Lewis, Byron Cook
10. Principals in Programming Languages: A Syntactic Proof Technique · Steve Zdancewic, Dan Grossman, J. Gregory Morrisett
11. Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) · Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
12. Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming · John Hughes, Lars Pareto
13. Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) · Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
14. Representing Java Classes in a Typed Intermediate Language · Christopher League, Zhong Shao, Valery Trifonov
15. Specialization of Inductively Sequential Functional Logic Programs · María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
16. Static Interpretation of Modules · Martin Elsman
17. Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages · Henrik Nilsson
18. Trampolined Style · Steven E. Ganz, Daniel P. Friedman, Mitchell Wand
19. Transparent Modules with Fully Syntactic Signatures · Zhong Shao
20. Type Dispatch for Named Hierarchical Types · Neal Glew
21. Type Fixpoints: Iteration vs. Recursion · Zdzislaw Splawski, Pawel Urzyczyn
22. Type Inference Builds a Short Cut to Deforestation · Olaf Chitil
23. Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML · Atsushi Ohori, Nobuaki Yoshida
24. Verification of Erlang Programs using Abstract Interpretation and Model Mhecking · Frank Huch
25. When is a Functional Program Not a Functional Program? · John Longley