Martin Odersky, Philip Wadler
Proceedings of the Fifth International Conference on Functional Programming
ICFP, 2000.

@proceedings{ICFP-2000,
	address       = "Montreal, Canada",
	editor        = "Martin Odersky and Philip Wadler",
	isbn          = "1-58113-202-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth International Conference on Functional Programming}",
	volume        = "SIGPLAN Notices 35(9), September 2000",
	year          = 2000,
}

Contents (27 items)

7 ×#functional
3 ×#haskell
3 ×#programming
2 ×#algorithm
2 ×#continuation
2 ×#evaluation
2 ×#lazy evaluation
2 ×#monad
2 ×#named
2 ×#parallel

ICFP-2000-Wong #functional #query

The functional guts of the Kleisli query system (LW), pp. 1–10.

ICFP-2000-HosoyaVP #regular expression #xml

Regular expression types for XML (HH, JV, BCP), pp. 11–22.

ICFP-2000-Queinnec #continuation #web

The influence of browsers on evaluators or, continuations to program web servers (CQ), pp. 23–33.

ICFP-2000-SkalkaS #security

Static enforcement of security with types (CS, SFS), pp. 34–45.

ICFP-2000-PottierC #data flow #for free

Information flow inference for free (FP, SC), pp. 46–57.

ICFP-2000-Weirich #functional #type safety

Type-safe cast: functional pearl (SW), pp. 58–67.

ICFP-2000-Crary #compilation #type system

Typed compilation of inclusive subtyping (KC), pp. 68–81.

ICFP-2000-TrifonovSS #analysis #reflexive

Fully reflexive intensional type analysis (VT, BS, ZS), pp. 82–93.

ICFP-2000-ChakravartyK #parallel #programming

More types for nested data parallel programming (MMTC, GK), pp. 94–105.

ICFP-2000-Sage #declarative #haskell #named #user interface

FranTk — a declarative GUI language for Haskell (MS), pp. 106–117.

ICFP-2000-McNamaraS #c++ #functional #programming

Functional programming in C++ (BM, YS), pp. 118–129.

ICFP-2000-HarperP

Advanced module systems: a guide for the perplexed (RH, BCP), p. 130.

ICFP-2000-Okasaki #algorithm #design #lessons learnt

Breadth-first numbering: lessons from a small exercise in algorithm design (CO), pp. 131–136.

ICFP-2000-SasanoHTO #algorithm #linear #problem

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.

ICFP-2000-Faxen #evaluation #functional #lazy evaluation

Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.

ICFP-2000-Baker-FinchKT #evaluation #lazy evaluation #parallel #semantics

An operational semantics for parallel lazy evaluation (CABF, DJK, PWT), pp. 162–173.

ICFP-2000-ErkokL #monad #recursion

Recursive monadic bindings (LE, JL), pp. 174–185.

ICFP-2000-Hinze #backtracking #monad

Deriving backtracking monad transformers (RH), pp. 186–197.

ICFP-2000-DaviesP

Intersection types and computational effects (RD, FP), pp. 198–208.

ICFP-2000-DamianD #continuation #program analysis

Syntactic accidents in program analysis: on the impact of the CPS transformation (DD, OD), pp. 209–220.

ICFP-2000-GapeyevLP #functional #recursion #type system

Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.

ICFP-2000-CurienH

The duality of computation (PLC, HH), pp. 233–243.

ICFP-2000-Seger #functional #hardware #programming #verification

Combining functional programming and hardware verification (CJHS), p. 244.

ICFP-2000-SerranoB #comprehension #memory management #source code

Understanding memory allocation of scheme programs (MS, HJB), pp. 245–256.

ICFP-2000-CheadleFMJW #haskell

Non-stop Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 257–267.

ICFP-2000-ClaessenH #haskell #lightweight #named #quickcheck #random testing #source code #testing

QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.

ICFP-2000-JonesES #contract #functional

Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.