Combining Strict and Soft Typing in Functional Programming

Manfred Widera, Christoph Beierle. Combining Strict and Soft Typing in Functional Programming. In GI Jahrestagung. pages 350-359, 1999.

Abstract

Abstract is missing.