About: Refinement type

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Types constrained by a predicate

Property	Value
dbo:description	types constrained by a predicate (en)
dbo:wikiPageWikiLink	dbr:Standard_ML dbr:Type_theory dbr:Precondition dbr:TypeScript dbc:Type_theory dbr:Postcondition dbr:Scala_(programming_language) dbc:Type_systems dbr:Dependent_types dbr:Return_type dbr:Behavioral_subtyping dbr:Haskell_(programming_language) dbr:Liquid_Haskell dbr:Function_argument
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Type-theory-stub dbt:Type_systems dbt:Short_description
dct:subject	dbc:Type_theory dbc:Type_systems
rdfs:label	Refinement type (en)
owl:sameAs	wikidata:Refinement type dbpedia-global:Refinement type
prov:wasDerivedFrom	wikipedia-en:Refinement_type?oldid=1279114953&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Refinement_type
is dbo:wikiPageRedirects of	dbr:Refined_type dbr:Refinement_types
is dbo:wikiPageWikiLink of	dbr:Total_functional_programming dbr:Subtyping dbr:F*_(programming_language) dbr:Typestate_analysis dbr:Type_system dbr:Set_(abstract_data_type) dbr:Liquid_Haskell dbr:Intersection_type dbr:Refined_type dbr:Refinement_types
is foaf:primaryTopic of	wikipedia-en:Refinement_type

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International