Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses

Published --