Closing the stage: from staged code to typed closures.

Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan

Published in: PEPM (2008)

Keyphrases

higher order
morphological operators
social networks
source code
real time
neural network
data flow
transitive closure
binary codes
open source
code generation
program understanding
multiple stages
lambda calculus