Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Typeful_programming> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Typeful_programming abstract "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.The Haskell programming language is said to be typeful.".
- Typeful_programming wikiPageID "4614025".
- Typeful_programming wikiPageLength "889".
- Typeful_programming wikiPageOutDegree "6".
- Typeful_programming wikiPageRevisionID "636085254".
- Typeful_programming wikiPageWikiLink Category:Programming_paradigms.
- Typeful_programming wikiPageWikiLink Category:Type_theory.
- Typeful_programming wikiPageWikiLink Computer_science.
- Typeful_programming wikiPageWikiLink Haskell_(programming_language).
- Typeful_programming wikiPageWikiLink Luca_Cardelli.
- Typeful_programming wikiPageWikiLink Type_theory.
- Typeful_programming wikiPageWikiLinkText "Typeful Programming".
- Typeful_programming wikiPageWikiLinkText "Typeful programming".
- Typeful_programming wikiPageWikiLinkText "type".
- Typeful_programming wikiPageWikiLinkText "typeful programming".
- Typeful_programming wikiPageUsesTemplate Template:Compu-prog-stub.
- Typeful_programming wikiPageUsesTemplate Template:Plt-stub.
- Typeful_programming subject Category:Programming_paradigms.
- Typeful_programming subject Category:Type_theory.
- Typeful_programming hypernym Style.
- Typeful_programming comment "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.The Haskell programming language is said to be typeful.".
- Typeful_programming label "Typeful programming".
- Typeful_programming sameAs Q7860930.
- Typeful_programming sameAs m.0ccqvk.
- Typeful_programming sameAs Полнотиповое_программирование.
- Typeful_programming sameAs Q7860930.
- Typeful_programming wasDerivedFrom Typeful_programming?oldid=636085254.
- Typeful_programming isPrimaryTopicOf Typeful_programming.