Lines Matching defs:Type
347 \section{Translation of Kinds and Type Classes}
349 Type classes in Isabelle and Haskell associate a set of functions to a
399 \noindent Type schemas
616 Type classes in Haskell are similar enough to Isabelle's type classes
726 \noindent Type schemas
738 datatypes are translated to HOL datatypes. Type variables are of class
909 Type classes are translated to subclasses of \emph{type}. An axiomatisation of
1212 \noindent Type classes
1224 \noindent Type schemas
1285 \noindent Types, Type classes, Contexts, Type schemas, Simple patterns,
1290 \noindent Type constructor classes