Combining strict and soft typing in functional programming (1999)

by Manfred Widera, Christoph Beierle
Venue:Informatik’99 – Informatik berwindet Grenzen