Johan Munk

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Preprocessing Step

Social Networks

Top Venues

Theor. Comput. Sci.

Publications

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. Theor. Comput. Sci. 435 (2012)
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
Defunctionalized Interpreters for Call-by-Need Evaluation. FLOPS (2010)