Items related to Qualified Types: Theory and Practice: 9 (Distinguished...

Qualified Types: Theory and Practice: 9 (Distinguished Dissertations in Computer Science, Series Number 9) - Softcover

Jones, Mark P.

 
9780521543262: Qualified Types: Theory and Practice: 9 (Distinguished Dissertations in Computer Science, Series Number 9)

Synopsis

Functional programming; Haskell, Gofer; type theory.

"synopsis" may belong to another edition of this title.

Review

..."I encourage you to read this exemplar of computer science research and the appropriate presentation thereof. The writing is excellent, the typesetting is perfect, and the extremely fine point that Jones has made will encourage scholarly contemplation about the nature of type systems." David B. Benson, Computing Reviews

Book Description

This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading, concentrating in particular on the implementation of overloading in Haskell and Gofer.

"About this title" may belong to another edition of this title.