Johan Munk

According to our database¹, Johan Munk authored at least 2 papers between 2010 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2010

Defunctionalized Interpreters for Call-by-Need Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010