linear set union algorithm / variable binding site / type applications / union-find algorithm / logical algorithm / elegant solution / executable algorithm / unification algorithm / elaboration algorithm / substitution law / /
OperatingSystem
Inferno / /
Organization
MIT / American Mathematical Society / University of Strathclyde / /
Person
Mitchell Wand / Conor McBride / S. Doaitse Swierstra / Simon L. Peyton / Dimitrios Vytiniotis / Josef Svenningsson / Luis Damas / Adam Gundry / John Hughes / Simon Peyton Jones / François Pottier / Boris Yakobowski / Didier Rémy / David McAllester / Mark Shields / Stephanie Weirich / Robin Milner / Luc Duponcheel / Jacques Garrigue / T . An / David MacQueen / Jörgen Gustavsson / L. Peyton Jones / Julien Cretin / J. Roger Hindley / Tom Schrijvers / Gérard Huet / Ross Paterson / George Kuan / Martin Sulzmann / Robert Endre Tarjan / Dale Miller / /
Journal of the ACM / Transactions of the American Mathematical Society / Theoretical Computer Science / Journal of Symbolic Computation / Lecture Notes in Computer Science / /
Technology
Functional Programming / linear set union algorithm / unification algorithm / union-find algorithm / executable algorithm / logical algorithm / elaboration algorithm / /
Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA