|This article relies too much on references to primary sources. (September 2016) (Learn how and when to remove this template message)|
In computer science, typeful programming, also known as type-directed programming, is a programming style identified by widespread use of type information handled through mechanical typechecking techniques. The concept was introduced in a paper of the same name by Luca Cardelli in 1991.
- Cardelli, Luca (1991). "Typeful programming" (PDF). IFIP State-of-the-Art Reports. New York: Springer-Verlag (Formal Description of Programming Concepts): 431–507.
|This computer-programming-related article is a stub. You can help Wikipedia by expanding it.|
|This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.|