Johan Jeuring, Simon L. Peyton Jones
Revised Lectures of the Fourth International Spring School on Advanced Functional Programming
AFP, 2002.
@proceedings{AFP-2002,
address = "Oxford, England, United Kingdom",
editor = "Johan Jeuring and Simon L. Peyton Jones",
isbn = "3-540-40132-6",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Revised Lectures of the Fourth International Spring School on Advanced Functional Programming}",
volume = 2638,
year = 2002,
}
Contents (7 items)
- AFP-2002-BirdG02
- Arithmetic Coding with Folds and Unfolds (RSB, JG), pp. 1–26.
- AFP-2002-ChakravartyK02 #approach #array #haskell #performance
- An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.
- AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using
- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.
- AFP-2002-Felleisen02 #interactive #source code #web
- Developing Interactive Web Programs (MF), pp. 100–128.
- AFP-2002-FournetFMS02 #concurrent #distributed #mobile #named #programming
- JoCaml: A Language for Concurrent Distributed and Mobile Programming (CF, FLF, LM, AS), pp. 129–158.
- AFP-2002-HudakCNP02 #functional #programming
- Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.
- AFP-2002-Wadler02 #functional #named #query #xml #xquery
- XQuery: A Typed Functional Language for Querying XML (PW), pp. 188–212.