default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ICFP 2000: Montreal, Canada
- Martin Odersky, Philip Wadler:
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ACM 2000, ISBN 1-58113-202-6
- Limsoon Wong
:
The functional guts of the Kleisli query system. 1-10 - Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce:
Regular expression types for XML. 11-22 - Christian Queinnec:
The influence of browsers on evaluators or, continuations to program web servers. 23-33 - Christian Skalka, Scott F. Smith:
Static enforcement of security with types. 34-45 - François Pottier, Sylvain Conchon:
Information flow inference for free. 46-57 - Stephanie Weirich:
Type-safe cast: functional pearl. 58-67 - Karl Crary:
Typed compilation of inclusive subtyping. 68-81 - Valery Trifonov, Bratin Saha, Zhong Shao:
Fully reflexive intensional type analysis. 82-93 - Manuel M. T. Chakravarty, Gabriele Keller:
More types for nested data parallel programming. 94-105 - Meurig Sage:
FranTk - a declarative GUI language for Haskell. 106-117 - Brian McNamara, Yannis Smaragdakis:
Functional programming in C++. 118-129 - Robert Harper, Benjamin C. Pierce:
Advanced module systems: a guide for the perplexed (abstract of invited talk). 130 - Chris Okasaki:
Breadth-first numbering: lessons from a small exercise in algorithm design. 131-136 - Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa:
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. 137-149 - Karl-Filip Faxén:
Cheap eagerness: speculative evaluation in a lazy functional language. 150-161 - Clement A. Baker-Finch, David J. King, Philip W. Trinder:
An operational semantics for parallel lazy evaluation. 162-173 - Levent Erkök, John Launchbury:
Recursive monadic bindings. 174-185 - Ralf Hinze:
Deriving backtracking monad transformers. 186-197 - Rowan Davies, Frank Pfenning:
Intersection types and computational effects. 198-208 - Daniel Damian, Olivier Danvy:
Syntactic accidents in program analysis: on the impact of the CPS transformation. 209-220 - Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
Recursive subtyping revealed: functional pearl. 221-231 - Pierre-Louis Curien, Hugo Herbelin:
The duality of computation. 233-243 - Carl-Johan H. Seger:
Combining functional programming and hardware verification (abstract of invited talk). 244 - Manuel Serrano, Hans-Juergen Boehm:
Understanding memory allocation of scheme programs. 245-256 - Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While:
Non-stop Haskell. 257-267 - Koen Claessen, John Hughes:
QuickCheck: a lightweight tool for random testing of Haskell programs. 268-279 - Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward:
Composing contracts: an adventure in financial engineering, functional pearl. 280-292
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-12-04 01:24 CET 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:
