Information

Martin Grabmüller: Algorithm W Step by Step, draft paper, September 2007.

8 pages, A4 format, English.

Abstract

In this paper we develop a complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.

Download

This article is available electronically: [ PDF ]

The source code of this article, in the form of a Literate Haskell script, is also available: [ AlgorithmW.lhs ]

BibTeX Entry

@Unpublished{Grabmueller2007AlgorithmW,
  author =       {Martin Grabm{\"u}ller},
  title =        {{Algorithm W Step by Step}},
  note =         {Draft paper},
  month =        {September},
  year =         2007,
  abstract =     {In this paper we develop a complete implementation
                  of the classic algorithm W for Hindley-Milner
                  polymorphic type inference in Haskell. }
}