Den franske informatikeren Gérard Huet publiserte en algoritme for unifikasjon i simply typed lambda calculus i 1973. Det har vært mye videre utvikling innen unifikasjons teori siden det.