default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ICFP 1999: Paris, France
- Didier Rémy, Peter Lee:
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. ACM 1999, ISBN 1-58113-111-9
Session I
- John Longley:
When is a Functional Program Not a Functional Program? 1-7 - Miley Semmelroth, Amr Sabry
:
Monadic Encapsulation in ML. 8-17
Session II
- Steven E. Ganz, Daniel P. Friedman, Mitchell Wand:
Trampolined Style. 18-27 - Chris Okasaki:
From Fast Exponentiation to Square Matrices: An Adventure in Types. 28-35 - Henrik Nilsson:
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. 36-47
Session III
- Olin Shivers, James W. Clark, Roland McGrath:
Atomic Heap Transactions and Fine-grain Interrupts. 48-59 - John Launchbury, Jeffrey R. Lewis, Byron Cook:
On Embedding a Microarchitectural Design Language within Haskell. 60-69 - John Hughes, Lars Pareto:
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. 70-81
Session IV
- Karl Crary:
A Simple Proof Technique for Certain Parametricity Results. 82-89 - Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells:
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). 90-101 - Zdzislaw Splawski, Pawel Urzyczyn:
Type Fixpoints: Iteration vs. Recursion. 102-113
Session V
- Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones:
Calling Hell From Heaven and Heaven From Hell. 114-125 - Nick Benton, Andrew Kennedy:
Interlanguage Working Without Tears: Blending SML with Java. 126-137
Session VI
- Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). 138-147 - Malcolm Wallace, Colin Runciman:
Haskell and XML: Generic Combinators or Type-Based Translation? 148-159
Session VII
- Atsushi Ohori, Nobuaki Yoshida:
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. 160-171 - Neal Glew:
Type Dispatch for Named Hierarchical Types. 172-182 - Christopher League, Zhong Shao, Valery Trifonov:
Representing Java Classes in a Typed Intermediate Language. 183-196
Session VIII
- Steve Zdancewic, Dan Grossman, J. Gregory Morrisett:
Principals in Programming Languages: A Syntactic Proof Technique. 197-207 - Martin Elsman:
Static Interpretation of Modules. 208-219 - Zhong Shao:
Transparent Modules with Fully Syntactic Signatures. 220-232
Session IX
- Karl Crary, Stephanie Weirich:
Flexible Type Analysis. 233-248 - Olaf Chitil:
Type Inference Builds a Short Cut to Deforestation. 249-260
Session X
- Frank Huch:
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. 261-272 - María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal:
Specialization of Inductively Sequential Functional Logic Programs. 273-283
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 2025-04-25 17:34 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:
