Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Generalized_algebraic_data_type> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Generalized_algebraic_data_type abstract "In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of the algebraic data types of Haskell and ML, applying to parametric types.With this extension, the parameters of the return type of a data constructor can be freely chosen when declaring the constructor, while for algebraic data types in Haskell 98, the type parameter of the return value is inferred from data types of parameters; they are currently implemented in the GHC compiler as a non-standard extension, used by, among others, Pugs and Darcs. OCaml supports GADT natively since version 4.00.".
- Generalized_algebraic_data_type wikiPageExternalLink gadt.
- Generalized_algebraic_data_type wikiPageExternalLink GADTs.
- Generalized_algebraic_data_type wikiPageExternalLink gadt.
- Generalized_algebraic_data_type wikiPageExternalLink 1134.
- Generalized_algebraic_data_type wikiPageExternalLink constraints.
- Generalized_algebraic_data_type wikiPageExternalLink Generalised_algebraic_datatype.
- Generalized_algebraic_data_type wikiPageExternalLink 208a1733f15cdcf78eb5.
- Generalized_algebraic_data_type wikiPageID "6766624".
- Generalized_algebraic_data_type wikiPageLength "11044".
- Generalized_algebraic_data_type wikiPageOutDegree "50".
- Generalized_algebraic_data_type wikiPageRevisionID "699509686".
- Generalized_algebraic_data_type wikiPageWikiLink ALF_(proof_assistant).
- Generalized_algebraic_data_type wikiPageWikiLink Algebraic_data_type.
- Generalized_algebraic_data_type wikiPageWikiLink Base_type.
- Generalized_algebraic_data_type wikiPageWikiLink Calculus_of_constructions.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Composite_data_types.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Data_types.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Dependently_typed_programming.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Functional_programming.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Type_theory.
- Generalized_algebraic_data_type wikiPageWikiLink Coq.
- Generalized_algebraic_data_type wikiPageWikiLink Darcs.
- Generalized_algebraic_data_type wikiPageWikiLink Data_structure.
- Generalized_algebraic_data_type wikiPageWikiLink Data_type.
- Generalized_algebraic_data_type wikiPageWikiLink Dependent_type.
- Generalized_algebraic_data_type wikiPageWikiLink Domain-specific_language.
- Generalized_algebraic_data_type wikiPageWikiLink Fixed-point_combinator.
- Generalized_algebraic_data_type wikiPageWikiLink Functional_programming.
- Generalized_algebraic_data_type wikiPageWikiLink Generic_programming.
- Generalized_algebraic_data_type wikiPageWikiLink Glasgow_Haskell_Compiler.
- Generalized_algebraic_data_type wikiPageWikiLink Haskell_(programming_language).
- Generalized_algebraic_data_type wikiPageWikiLink Higher-order_abstract_syntax.
- Generalized_algebraic_data_type wikiPageWikiLink Invariant_(computer_science).
- Generalized_algebraic_data_type wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Generalized_algebraic_data_type wikiPageWikiLink ML_(programming_language).
- Generalized_algebraic_data_type wikiPageWikiLink OCaml.
- Generalized_algebraic_data_type wikiPageWikiLink Parametric_polymorphism.
- Generalized_algebraic_data_type wikiPageWikiLink Pattern_matching.
- Generalized_algebraic_data_type wikiPageWikiLink Positivity_restriction.
- Generalized_algebraic_data_type wikiPageWikiLink Principal_type.
- Generalized_algebraic_data_type wikiPageWikiLink Product_type.
- Generalized_algebraic_data_type wikiPageWikiLink Pugs.
- Generalized_algebraic_data_type wikiPageWikiLink Simon_Peyton_Jones.
- Generalized_algebraic_data_type wikiPageWikiLink Simply_typed_lambda_calculus.
- Generalized_algebraic_data_type wikiPageWikiLink Type_class.
- Generalized_algebraic_data_type wikiPageWikiLink Type_inference.
- Generalized_algebraic_data_type wikiPageWikiLink Type_safety.
- Generalized_algebraic_data_type wikiPageWikiLink Type_signature.
- Generalized_algebraic_data_type wikiPageWikiLink Type_system.
- Generalized_algebraic_data_type wikiPageWikiLink Type_variable.
- Generalized_algebraic_data_type wikiPageWikiLink Undecidable_problem.
- Generalized_algebraic_data_type wikiPageWikiLink Wiki.
- Generalized_algebraic_data_type wikiPageWikiLinkText "Generalized algebraic data type".
- Generalized_algebraic_data_type wikiPageWikiLinkText "generalized algebraic data type".
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Cite_conference.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Cite_journal.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Cite_thesis.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Data_types.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Further2.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Harv.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Harvnb.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Hdl.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Huh.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Refbegin.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Refend.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Reflist.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Sfn.
- Generalized_algebraic_data_type wikiPageUsesTemplate Template:Wikibooks.
- Generalized_algebraic_data_type subject Category:Composite_data_types.
- Generalized_algebraic_data_type subject Category:Data_types.
- Generalized_algebraic_data_type subject Category:Dependently_typed_programming.
- Generalized_algebraic_data_type subject Category:Functional_programming.
- Generalized_algebraic_data_type subject Category:Type_theory.
- Generalized_algebraic_data_type hypernym Generalization.
- Generalized_algebraic_data_type type Type.
- Generalized_algebraic_data_type type Redirect.
- Generalized_algebraic_data_type type Structure.
- Generalized_algebraic_data_type type Type.
- Generalized_algebraic_data_type comment "In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of the algebraic data types of Haskell and ML, applying to parametric types.With this extension, the parameters of the return type of a data constructor can be freely chosen when declaring the constructor, while for algebraic data types in Haskell 98, the type parameter of the return value is inferred from data types of parameters; they are currently implemented in the GHC compiler as a non-standard extension, used by, among others, Pugs and Darcs. ".
- Generalized_algebraic_data_type label "Generalized algebraic data type".
- Generalized_algebraic_data_type sameAs Q3557516.
- Generalized_algebraic_data_type sameAs Γενικευμένος_αλγεβρικός_τύπος_δεδομένων.
- Generalized_algebraic_data_type sameAs m.0gmvdk.
- Generalized_algebraic_data_type sameAs Обобщённый_алгебраический_тип_данных.
- Generalized_algebraic_data_type sameAs Q3557516.
- Generalized_algebraic_data_type wasDerivedFrom Generalized_algebraic_data_type?oldid=699509686.
- Generalized_algebraic_data_type isPrimaryTopicOf Generalized_algebraic_data_type.