S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira
Revised Lectures of the Third International Spring School on Advanced Functional Programming
AFP, 1998.
@proceedings{AFP-1998,
address = "Braga, Portugal",
editor = "S. Doaitse Swierstra and Pedro Rangel Henriques and José Nuno Oliveira",
isbn = "3-540-66241-3",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Revised Lectures of the Third International Spring School on Advanced Functional Programming}",
volume = 1608,
year = 1998,
}
Contents (7 items)
- AFP-1998-Augusteijn98 #morphism #sorting
- Sorting Morphisms (LA), pp. 1–27.
- AFP-1998-BackhouseJJM98 #programming
- Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
- AFP-1998-MoorS98 #program transformation
- Generic Program Transformation (OdM, GS), pp. 116–149.
- AFP-1998-SwierstraAS98 #combinator #design #implementation
- Designing and Implementing Combinator Languages (SDS, PRAA, JS), pp. 150–206.
- AFP-1998-Sheard98 #ml #programming language #staged #using
- Using MetaML: A Staged Programming Language (TS), pp. 207–239.
- AFP-1998-Augustsson98 #dependent type #named
- Cayenne — A Language with Dependent Types (LA), pp. 240–267.
- AFP-1998-LeijenMH98 #automation #haskell
- Haskell as an Automation Controller (DL, EM, JH), pp. 268–289.