Introduction to typing and Hindley-Milner type inference

Exercices, projets etc relatifs au Master d'Informatique
Post Reply
User avatar
Vincent
Posts: 3077
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

Introduction to typing and Hindley-Milner type inference

Post by Vincent » Wed Apr 08, 2009 8:00 am

A very short introduction (10 to 20 minutes) to typing and Hindley-Milner type inference algorithm (aka. Algorithm W).

I have left the concept of unification intuitive (there is nothing about Robinson's algorithm; there are no substitutions) and simplified the expression of the algorithm (it is assumed that no same variable is bound twice).

The algorithm is here presented for a simply-typed lambda-calculus, extended with built-in constants and types (bool, int, etc ad lib).

My main sources were
Attachments
typing-pres.pdf
(592.44 KiB) Downloaded 1995 times
{ Vincent Hugot }

Post Reply

Who is online

Users browsing this forum: Majestic-12 [Bot] and 26 guests