Skip to main content
Article thumbnail
Location of Repository

A graphical presentation of MLF types with a linear-time unification algorithm

By Didier Rémy, Boris Yakobowski, Thème Sym, Didier Rémy, Boris Yakobowski and Projet Gallium

Abstract

apport de recherche ISSN 0249-6399 ISRN INRIA/RR--????--FR+ENG A graphical presentation of MLF types with a linear-time local unification algorithm

Topics: Key-words, System F, MLF, Unification, Types, Graphs, Binders Unité de recherche INRIA Rocquencourt
Publisher: ACM Press
Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.2489
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://gallium.inria.fr/~remy/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.