closure-conversion

Here are 4 public repositories matching this topic...

Functional language compiler targeting LLVM

haskell compiler llvm closure-conversion

Formal proof that closure conversion with flat environments is safe for space.

coq proof closure-conversion

A functional compiler which supports minimul feature of Racket and emits C++

interpreter compiler functional-programming racket code-generation cps anf desugar closure-conversion

transpiler to convert a lambda calculus based programming lanugage to javascript

To associate your repository with the closure-conversion topic, visit your repo's landing page and select "manage topics."