7 citations · 9 across the 3 of their papers we have counts for
3 papers
A Functional Abstraction of Typed Invocation Contexts
Youyou Cong, Chiaki Ishio, Kaho Honda +1
In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics.…
Threaded Code Generation with a Meta-Tracing JIT Compiler
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick +1
Language implementation frameworks, e.g., RPython and Truffle/Graal, are practical tools for creating efficient virtual machines, including a well-functioning just-in-time (JIT) co…
Stepping OCaml
Tsukino Furukawa, Youyou Cong, Kenichi Asai
Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as the…