Source

Selen /

Filename Size Date modified Message
doc
runtime
src/Selen
test
40 B
36 B
430 B
1.8 KB
Goals:
    backends:
        - LLVM
        - Mono
        - Native x86_64
        - Native x86

    optimizations:
        - CPS, from Appel's book and Kennedy's article

    program transformations:
        - defunctionalization


Status:
    language: simple lambda calculus
    ir language: CPS from Appel's book
    parser: need operator precedence

Todo:
    - do CORE language, and translations FL -> CORE, CORE -> IR