Programming is hard. Building a large program is like constructing a steam locomotive through a h...

Implementation of Functional Languages.- Lazy Assertions.- Interfacing Haskell with Object-Orient...

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 20...

A survey vessel trawls up a man's body in the Outer Hebrides and ship's engineer Helen finds a co...

Wrenched together across parallel worlds, seafarer Helen and her cousin, Malcolm, a Rannoch Moor ...