A Mechanized Textbook Proof of a Type Unification Algorithm

DOI10.1007/978-3-319-29473-5_8zbMath1335.68236OpenAlexW2398885444MaRDI QIDQ2798047

Rodrigo Ribeiro, Carlos Camarão

Publication date: 1 April 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29473-5_8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• Haskell
• Agda
• Unnamed Item

This page was built for publication: A Mechanized Textbook Proof of a Type Unification Algorithm