About: Generalized algebraic data type

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Concept in functional programming

Property	Value
dbo:description	вид алгебричних типів даних, конструктори якого можуть повертати значення не свого типу, пов'язаного з ним (uk) Concept in functional programming (en)
dbo:wikiPageExternalLink	http://prime.haskell.org/wiki/GADTs http://haskell.org/ghc/docs/7.0-latest/html/users_guide/data-type-extensions.html%23gadt http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype https://www.researchgate.net/profile/Claudio_Russo/publication/213880929_Generalized_algebraic_data_types_and_object-oriented_programming/links/5724878d08aee491cb3a3ebf/Generalized-algebraic-data-types-and-object-oriented-programming.pdf https://www.researchgate.net/profile/S-Swierstra/publication/220606952_A_lean_specification_for_GADTs_System_F_with_first-class_equality_proofs/links/0c960529dac172f57d000000/A-lean-specification-for-GADTs-System-F-with-first-class-equality-proofs.pdf https://gist.github.com/jbgi/208a1733f15cdcf78eb5 http://web.cecs.pdx.edu/~sheard/papers/silly.pdf%7Cdate=September https://strathprints.strath.ac.uk/33726/1/ghani_popl08.pdf http://lambda-the-ultimate.org/node/1134 http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/ http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/ http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/MS-CIS-05-26.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/gadt-rigid-contexts.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/implication_constraints.pdf http://sites.google.com/site/chklin/research/dissertation.pdf%3Fattredirects=0%7Cdegree=Doctoral
dbo:wikiPageWikiLink	dbc:Dependently_typed_programming dbr:Type_variable dbr:Functional_programming dbr:Parametric_polymorphism dbr:Glasgow_Haskell_Compiler dbr:Type_class dbr:Lecture_Notes_in_Computer_Science dbr:Wiki dbr:OCaml dbr:Algebraic_data_type dbr:Principal_type dbc:Data_types dbr:Programming_language dbr:Coq dbr:Data_structure dbr:Simon_Peyton_Jones dbc:Type_theory dbr:Generic_programming dbr:Darcs dbr:Scala_(programming_language) dbr:Martin_Odersky dbr:Undecidable_problem dbr:Invariant_(computer_science) dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbc:Functional_programming dbc:Composite_data_types dbr:Type_inference dbr:Higher-order_abstract_syntax dbr:Pugs_(programming) dbr:ALF_(theorem_prover) dbr:Haskell_(programming_language) dbr:Fixed_point_combinator dbr:Existential_type dbr:Base_type dbr:Positivity_restriction dbr:Data_constructor dbr:Dependently_typed_language dbr:Calculus_of_Inductive_Constructions dbr:Embedded_domain-specific_language dbr:Pattern_matching_(functional_programming) dbr:Tuple_(computer_science) dbr:Type_annotation dbr:Type_reconstruction dbr:Type_safe
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Wikibooks dbt:Sfn dbt:Cite_conference dbt:Data_types dbt:Further dbt:Refend dbt:Refbegin dbt:Cite_thesis dbt:Harvnb dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Dependently_typed_programming dbc:Data_types dbc:Type_theory dbc:Functional_programming dbc:Composite_data_types
gold:hypernym	dbr:Generalization
rdfs:label	Generalized algebraic data type (en) Γενικευμένος αλγεβρικός τύπος δεδομένων (el) Type algébrique généralisé (fr) Обобщённый алгебраический тип данных (ru) Узагальнений алгебричний тип даних (uk)
owl:sameAs	freebase:Generalized algebraic data type wikidata:Generalized algebraic data type dbpedia-fr:Generalized algebraic data type dbpedia-ru:Generalized algebraic data type dbpedia-el:Generalized algebraic data type dbpedia-uk:Generalized algebraic data type dbpedia-global:Generalized algebraic data type dbr:Generalized algebraic data type
prov:wasDerivedFrom	wikipedia-en:Generalized_algebraic_data_type?oldid=1264861685&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Generalized_algebraic_data_type
is dbo:wikiPageRedirects of	dbr:Equality-qualified_type dbr:Equality_qualified_type dbr:First-class_phantom_type dbr:First-class_phantom_types dbr:First_class_phantom_type dbr:Generalized_Abstract_Data_Type dbr:Generalized_Algebraic_Data_Type dbr:Generalized_Algebraic_Data_Types dbr:Generalized_abstract_data_type dbr:Generalized_algebraic_data_types dbr:Generalized_algebraic_datatype dbr:Generalized_algebraic_datatypes dbr:GADT dbr:GADTs dbr:Guarded_recursive_data_type dbr:Guarded_recursive_data_types dbr:Guarded_recursive_datatype
is dbo:wikiPageWikiLink of	dbr:List_of_functional_programming_topics dbr:Functional_programming dbr:Glasgow_Haskell_Compiler dbr:Haskell dbr:Epigram_(programming_language) dbr:Abstract_data_type dbr:Algebraic_data_type dbr:Principal_type dbr:Equality-qualified_type dbr:Equality_qualified_type dbr:Haxe dbr:Higher-order_abstract_syntax dbr:PureScript dbr:Idris_(programming_language) dbr:First-class_phantom_type dbr:First-class_phantom_types dbr:First_class_phantom_type dbr:Generalized_Abstract_Data_Type dbr:Generalized_Algebraic_Data_Type dbr:Generalized_Algebraic_Data_Types dbr:Generalized_abstract_data_type dbr:Generalized_algebraic_data_types dbr:Generalized_algebraic_datatype dbr:Generalized_algebraic_datatypes dbr:GADT dbr:GADTs dbr:Guarded_recursive_data_type dbr:Guarded_recursive_data_types dbr:Guarded_recursive_datatype
is foaf:primaryTopic of	wikipedia-en:Generalized_algebraic_data_type