liboleg-2010.1.5: 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

Documentation

data Typ Source

Constructors

TInt 
!Typ :> !Typ 

Instances

type TEnv = [(VarName, Typ)]Source

Type Environment: associating types with free variables

teval :: TEnv -> Term -> TypSource

Type reconstruction: abstract evaluation