From higher-order logic to Haskell: there and back again.

Florian Haftmann

Browse the full PEPM paper archive.