Search: in
Typeful programming
Typeful programming in Encyclopedia Encyclopedia
  Tutorials     Encyclopedia     Videos     Books     Software     DVDs  
       





Typeful programming

In computer science, typeful 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]

The Haskell programming language is said to be typeful.[1]

References

  1. a b c






Source: Wikipedia | The above article is available under the GNU FDL. | Edit this article



Search for Typeful programming in Tutorials
Search for Typeful programming in Encyclopedia
Search for Typeful programming in Videos
Search for Typeful programming in Books
Search for Typeful programming in Software
Search for Typeful programming in DVDs
Search for Typeful programming in Store




Advertisement




Typeful programming in Encyclopedia
Typeful_programming top Typeful_programming

Home - Add TutorGig to Your Site - Disclaimer

©2011-2013 TutorGig.info All Rights Reserved. Privacy Statement