liboleg-2010.1.7.1: An evolving collection of Oleg Kiselyov's Haskell modules
Language.TEval.TEvalNC
Description
Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type checking
http://okmij.org/ftp/Computation/Computation.html#teval
Synopsis
data Typ Source
Constructors
Instances
data Term Source
type VarName = StringSource
type TEnv = [(VarName, Typ)]Source
Type Environment: associating types with free variables
free
env0 :: TEnvSource
lkup :: TEnv -> VarName -> TypSource
ext :: TEnv -> (VarName, Typ) -> TEnvSource
teval :: TEnv -> Term -> TypSource
Type reconstruction: abstract evaluation