@inproceedings{HHS:scripting,
  author    = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  title     = {Scripting the type inference process},
  booktitle = {Eighth ACM Sigplan International Conference on Functional Programming},
  year      = {2003},
  publisher = {ACM Press},
  address   = {New York},
  pages     = {3 -- 13},
  pubcat    = {conference},
}