maam-0.1.0.0: A monadic framework for abstract interpretation.

Safe HaskellNone
LanguageHaskell2010

Lang.CPS

Documentation

module Lang.CPS.Analyses

module Lang.CPS.Monads

module Lang.CPS.Semantics

module Lang.CPS.StateSpace

module Lang.CPS.Syntax

module Lang.CPS.Val