Typeful programming

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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.[1] The concept was introduced in a paper of the same name by Luca Cardelli in 1991.[1]

References[edit]

  1. ^ a b Cardelli, Luca (1991). "Typeful programming" (PDF). IFIP State-of-the-Art Reports. New York: Springer-Verlag (Formal Description of Programming Concepts): 431–507.