Typeful programming
From Wikipedia, the free encyclopedia
In computer science typeful programming is a programming style identified by widespread use of type information handled through mechanical typechecking techniques. The concept was introduced in a scientific paper of the same name published by Luca Cardelli in 1991.
E.g. the functional programming language Haskell is said to be typeful.[1]
[edit] Reference
- ^ Luca Cardelli. "Typeful programming". In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Reports, pages 431–507. Springer-Verlag, New York, 1991.
[edit] External links
- SRC Research Report 45 - Typeful Programming The scientific paper introducing the concept of typeful programming
