Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science)

Category: Programming
Author: Mark P. Jones
5.0

Comments

by anonymous   2018-05-21
Mark Jones's thesis is (though it's from 1994), definitive in Haskell type inference: https://www.amazon.com/Qualified-Types-Practice-Distinguished-Dissertations/dp/0521543266 An earlier tech-report version is available for free (though it's scanned) at https://www.cs.ox.ac.uk/files/3432/PRG106.pdf