Sciweavers

GI
1999
Springer
13 years 9 months ago
Combining Strict and Soft Typing in Functional Programming
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
Manfred Widera, Christoph Beierle