Functional Programming

Functional Programming is my preferred programming paradigm. The FAQ list of the newsgroup comp.lang.functional is a repository of much useful information. For well-organised and commented collections of links see the homepage of Phil Wadler and the FP link collection of Claus Reinke.

Related to my interest in program transformation and to the work on the integrated term graph programming and program transformation system , I promote ``pure'' or referentially transparent languages like Haskell or Clean.

Since the speed of today's Haskell systems becomes acceptable also for larger and interactive tasks, I am increasingly using Haskell for system development.

Where I do not use Haskell, I use OCaml - the best imperative programming language I know ;-). A nice resource is La lettre de Caml.

A few more links:

• ICFP
• The Journal of Functional Programming
• FPLE: Functional Programming Languages in Education
• Concurrent Clean - Home Page, Clean Prover System
• Charity, a pure categorical language with inductive and coinductive datatypes.
• FISh - Barry Jay: Functional = Imperative + Shape
• Moscow ML Home Page
• NESL: A Nested Data-Parallel Language
• Catalog of Free Compilers and Interpreters: introduction

Garbage Collection

• Garbage Collection Page
• Garbage Collection FAQ
• Garbage Collection List, also archived at tunes.org
• Train Algorithm for performing efficient incremental collection of old generation space [Hudson-Moss-1992]. Using the algorithm, generational collectors can be extended to provide non-disruptive collection of all generational areas.