The Brisk Project: Concurrent and Distributed Functional Systems. - Ian Holyer; Neil Davies; Chris Dornan (Functional Programming, 1995)

Affordable Dynamic Types. - Chris Dornan (ICFP, 1997)