Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Typeful_programming> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Typeful_programming abstract "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 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 wikiPageRevisionID "406471788".
- Typeful_programming hasPhotoCollection Typeful_programming.
- Typeful_programming subject Category:Programming_paradigms.
- Typeful_programming subject Category:Type_theory.
- Typeful_programming type Abstraction100002137.
- Typeful_programming type GrammaticalRelation113796779.
- Typeful_programming type Inflection113803782.
- Typeful_programming type LinguisticRelation113797142.
- Typeful_programming type Paradigm113804375.
- Typeful_programming type ProgrammingParadigms.
- Typeful_programming type Relation100031921.
- Typeful_programming comment "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 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 label "Полнотиповое программирование".
- Typeful_programming sameAs m.0ccqvk.
- Typeful_programming sameAs Q7860930.
- Typeful_programming sameAs Q7860930.
- Typeful_programming sameAs Typeful_programming.
- Typeful_programming wasDerivedFrom Typeful_programming?oldid=406471788.
- Typeful_programming isPrimaryTopicOf Typeful_programming.