Jan Rochel

According to our database, Jan Rochel authored at least 7 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Unfolding Semantics of the Untyped λ-Calculus with letrec.

Jan Rochel

CoRR, 2016

2014

Maximal sharing in the Lambda calculus with letrec.

Clemens Grabmayer, Jan Rochel

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Term Graph Representations for Cyclic Lambda-Terms

Clemens Grabmayer, Jan Rochel

Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013

Expressibility in the Lambda Calculus with Mu.

Clemens Grabmayer, Jan Rochel

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Expressibility in the Lambda Calculus with Letrec

Clemens Grabmayer, Jan Rochel

CoRR, 2012

2011

Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

Jan Rochel, Clemens Grabmayer

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

2009

The Very Lazy λ-Calculus and the STEC Machine.

Jan Rochel

Proceedings of the Implementation and Application of Functional Languages, 2009