Type Unification

Type Unification is a formal method in type theory that determines the most general unifier of two types by identifying their shared structure under a substitution of type variables, distinguishing it from related type inference techniques through its focus on equational reasoning between type expressions.

Publications

2.9K

Citations

115

Authors

Institutions

Publications per year

2017–2026

Parents

Type Checking

Publications

Simple unification-based type inference for GADTs

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · 2006 · 336 citations

Computing, Computer Science, Algorithms +15

Strongly typed heterogeneous collections

Oleg Kiselyov, Ralf Lämmel, Keean Schupke · 2004 · 183 citations

Computing, Computer Science, Databases +13

A Simple Algorithm and Proof for Type Inference1

Mitchell Wand · Fundamenta Informaticae · 1987 · 129 citations

Computing, Computer Science, Algorithms +14

Shallow Processing with Unification and Typed Feature Structures - Foundations and Applications.

Witold Drożdżyński, Hans‐Ulrich Krieger, Jakub Piskorski et al. · Künstliche Intell. · 2004 · 124 citations

Computing, Computer Science, Natural Language Processing +8

Default representation in constraint-based frameworks

Alex Lascarides, Ann Copestake · 1999 · 102 citations

Computing, Computer Science, Linguistics +15

1–5 of 68

Authors

115

SP
Simon Peyton Jones
Microsoft Research (United Kingdom), United Kingdom
4 publications · 500 citations
4
h-index
SW
Stephanie Weirich
University of Pennsylvania, United States
3 publications · 441 citations
3
h-index
MO
Martin Odersky
École Polytechnique Fédérale de Lausanne, Switzerland
3 publications · 122 citations
3
h-index
DV
Dimitrios Vytiniotis
Microsoft Research (United Kingdom), United Kingdom
3 publications · 441 citations
3
h-index
FP
Frank Pfenning
Carnegie Mellon University, United States
3 publications · 129 citations
3
h-index

1–5 of 115

Institutions

1–8 of 57

Venues

Theoretical Computer Science
4 publications · 144 citations
4
h-index
ACM SIGPLAN Notices
3 publications · 74 citations
3
h-index
ArXiv.org
Repository · 3 publications · 47 citations
3
h-index
ACM Transactions on Programming Languages and Systems
3 publications · 216 citations
3
h-index
International Conference on Lightning Protection
Conference · 2 publications · 30 citations
2
h-index

1–5