AbsCF

Types

type Closure c

class Contour c

data CFA0

data CFA1

type BEnv c

type VEnv c

data Proc c

type D c

type CCtxt c

type CCache c

type Ans c

type FState c

type CState c

type Memo c

Evaluation functions

evalCPS

evalCPS_CFA0

evalCPS_CFA1

evalV

evalF

evalC

graphToEdgelist