Error
Looks like something went wrong!

About

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

haskell functional-programming cfa static-analysis datalog control-flow-analysis lazy-evaluation closures stg souffle

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

HTML 100.0%