Qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensio

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy

This book teaches functional programming using Haskell and examples drawn from multimedia applications.

Special edition of the Federal Register, containing a codification of documents of general applicability and future effect ... with ancillaries.