ICFP 2000

27 papers

1. Advanced module systems: a guide for the perplexed (abstract of invited talk) · Robert Harper, Benjamin C. Pierce
2. An operational semantics for parallel lazy evaluation · Clement A. Baker-Finch, David J. King, Philip W. Trinder
3. Breadth-first numbering: lessons from a small exercise in algorithm design · Chris Okasaki
4. Cheap eagerness: speculative evaluation in a lazy functional language · Karl-Filip Faxén
5. Combining functional programming and hardware verification (abstract of invited talk) · Carl-Johan H. Seger
6. Composing contracts: an adventure in financial engineering, functional pearl · Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward
7. Deriving backtracking monad transformers · Ralf Hinze
8. FranTk - a declarative GUI language for Haskell · Meurig Sage
9. Fully reflexive intensional type analysis · Valery Trifonov, Bratin Saha, Zhong Shao
10. Functional programming in C++ · Brian McNamara, Yannis Smaragdakis
11. Information flow inference for free · François Pottier, Sylvain Conchon
12. Intersection types and computational effects · Rowan Davies, Frank Pfenning
13. Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems · Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
14. More types for nested data parallel programming · Manuel M. T. Chakravarty, Gabriele Keller
15. Non-stop Haskell · Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While
16. QuickCheck: a lightweight tool for random testing of Haskell programs · Koen Claessen, John Hughes
17. Recursive monadic bindings · Levent Erkök, John Launchbury
18. Recursive subtyping revealed: functional pearl · Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
19. Regular expression types for XML · Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
20. Static enforcement of security with types · Christian Skalka, Scott F. Smith
21. Syntactic accidents in program analysis: on the impact of the CPS transformation · Daniel Damian, Olivier Danvy
22. The duality of computation · Pierre-Louis Curien, Hugo Herbelin
23. The functional guts of the Kleisli query system · Limsoon Wong
24. The influence of browsers on evaluators or, continuations to program web servers · Christian Queinnec
25. Type-safe cast: functional pearl · Stephanie Weirich
26. Typed compilation of inclusive subtyping · Karl Crary
27. Understanding memory allocation of scheme programs · Manuel Serrano, Hans-Juergen Boehm