How to combine the benefits of strict and soft typing (2000)

by Manfred Widera, Christoph Beierle
Venue:In Greg Michaelson, Phil Trinder, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming. Intellect