Towards practical out-of-order unification
Paper in proceeding, 2017
Author
Nils Anders Danielsson
University of Gothenburg
Víctor López Juan
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 104 49-50
23rd International Conference on Types for Proofs and Programs, TYPES 2017
Budapest, Hungary,
Budapest, Hungary,
Subject Categories
Algebra and Logic
Computer Science
Computer Systems