Executable relational specifications of polymorphic type systems using prolog
Paper in proceeding, 2016
Parametric polymorphism
Logic programming
Functional language
Type inference
Type system
Nested datatype
Delayed goals
Unification
Algebraic datatype
Type constructor polymorphism
Prolog
Higher-kinded Polymorphism
Hindley–Milner
Kind polymorphism
Author
Ki Yung Ahn
Portland State University
Andrea Vezzosi
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9613 109-125978-331929603-6 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-319-29604-3_8
ISBN
978-331929603-6