Searched defs:Type (Results 1 - 3 of 3) sorted by relevance

/hets/doc/
H A Dhs2isa.tex347 \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 classe
[all...]
/hets/HasCASL/doc/
H A DStaticAna.tex43 \texttt{Type}.)
54 \texttt{Type} (or \emph{star} in Haskell) and the builtin kind constructor
66 The application of a type constructor (\texttt{Pair : Type -> Type -> Type})
72 __ * __ : Type -> Type -> Type
73 [__] : Type -> Type
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 226 milliseconds