Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Executable Relational Specifications of Polymorphic Type Systems Using Prolog |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Executable Relational Specifications of Polymorphic Type Systems Using Prolog |
scientific article |
Statements
Executable Relational Specifications of Polymorphic Type Systems Using Prolog (English)
0 references
4 April 2016
0 references
Hindley-Milner
0 references
functional language
0 references
type system
0 references
type inference
0 references
unification
0 references
parametric polymorphism
0 references
higher-kind polymorphism
0 references
type constructor polymorphism
0 references
algebraic datatype
0 references
nested datatype
0 references
logic programming
0 references
Prolog
0 references
delayed goals
0 references
