Articles with "universe polymorphism" as a keyword



Photo by radowanrehan from unsplash

A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*

Sign Up to like & get
recommendations!
Published in 2017 at "Journal of Functional Programming"

DOI: 10.1017/s0956796817000028

Abstract: Abstract Unification is a core component of every proof assistant or programming language featuring dependent types. In many cases, it must deal with higher order problems up to conversion. Since unification in such conditions is… read more here.

Keywords: unification; guide new; universe polymorphism; including universe ... See more keywords