| 287 | -- | 352 | Judicaël Courant. MC::2:: A module calculus for Pure Type Systems |
| 353 | -- | 386 | Gábor Mihály Surányi. An object-oriented calculus with term constraints |
| 387 | -- | 421 | Luc Maranget. Warnings for pattern matching |
| 423 | -- | 424 | Peter King. SMIL 2.0 Interactive Multimedia for Web and Mobile Devices by C. A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing, 2004, 440pp, ISBN 3-540-20234-X |
| 424 | -- | 426 | Alex Simpson. Programming Languages and Operational Semantics by Fernández Maribel, King s College Publications, 2004, ISBN 0954300637 |
| 426 | -- | 428 | Isaac Jones. The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001 |
| 428 | -- | 429 | Greg Michaelson. Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741 |