home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by Dipl.Inf. J. Rochel

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

Dipl.Inf. J. Rochel

• contact information
• group software technology

some publications

Grabmayer, C.A. & Rochel, J. (2011, March 10). Avoiding Repetitive Evaluation Patterns in Lambda Calculus with Letrec. Utrecht, TF-Lunch, disciplinegroep TF, departement wijsbegeerte.

Grabmayer, C.A. & Rochel, J. (2011, April 2). Avoiding Repetitive Evaluation Patterns in Lambda Calculus with Letrec. Saarbrücken, Germany, TERMGRAPH 2011 workshop.

Rochel, J. & Grabmayer, C.A. (2011). Repetitive Reduction Patterns in Lambda Calculus with Letrec. In R Echahed (Ed.), Proceedings of TERMGRAPH 2011, 2 April 2011, Saarbrücken, Germany (pp. 85-100).

Rochel, J. (2011). The Very Lazy Lambda-Calculus and the STEC Machine. In M. Morazán & S.-B. Scholz (Eds.), Implementation and Application of Functional Languages, 21th International Symposium, IFL 2011, Revised Selected Papers Vol. 6041. Lecture Notes in Computer Science (pp. 198-217). Berlin / Heidelberg: Springer.