Typeful programming

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.

External links

• SRC Research Report 45 - Typeful Programming The scientific paper introducing the concept of typeful programming