| Document Date: 2011-02-03 11:01:19
Open Document File Size: 294,83 KBShare Result on Facebook
City Constraint / / Country Deutschland / Canada / / / Facility McGill University / / IndustryTerm pattern unification algorithms / reconstruction algorithms / unification algorithm / higher-order unification algorithm / finite products / ground solution / higher-order pattern unification algorithm / higher-order dynamic pattern unification algorithm / constraint-based unification algorithm / unification algorithms / / Organization School of Computer Science / McGill University / Montreal / Institut f¨ / / Position head / / ProgrammingLanguage C / / Technology higher-order pattern unification algorithm / unification algorithms / higher-order unification algorithm / known pattern unification algorithms / dom / constraint-based unification algorithm / unification algorithm / reconstruction algorithms / Huet-style unification algorithm / higher-order dynamic pattern unification algorithm / /
SocialTag |
Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨