Executable relational specifications of polymorphic type systems using prolog
Paper i 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
Författare
Ki Yung Ahn
Portland State University
Andrea Vezzosi
Chalmers, Data- och informationsteknik, Datavetenskap
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)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-319-29604-3_8
ISBN
978-331929603-6