Open data types and open functions. Principles and Practice of Declarative Programming (2006)

by Andres Löh, Ralf Hinze