About: Algebraic data type

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Algebraic data type Goto Sponge NotDistinct Permalink

An Entity of Type : dbr:Kind, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Kind
label	Algebraic data type Tipo de dato algebraico Type algébrique de données
described by	proxy:entity/http/dbpedia.org/resource/Kind proxy:entity/http/dbpedia.org/resource/Haskell_(programming_language) proxy:entity/http/dbpedia.org/resource/Type_theory
Subject	Data types Type theory Articles with example Haskell code Composite data types Functional programming
dbo:wikiPageWikiLink	Haskell (programming language) Type theory
http://purl.org/li...ics/gold/hypernym	Kind
is topic of	Haskell (programming language) Type theory Kind
is hasBody of	named entity 'algebraic datatypes' named entity 'constructors' named entity 'algebraic data types' named entity 'algebraic types'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software