Declarative Programming with Function Patterns.

Sergio Antoy, Michael Hanus

Browse the full LOPSTR paper archive.