C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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