Jan Rochel

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Graph Representations

Database Query Languages

Top Venues

Publications

Jan Rochel
Unfolding Semantics of the Untyped λ-Calculus with letrec. CoRR (2016)
Clemens Grabmayer, Jan Rochel
Maximal sharing in the Lambda calculus with letrec. ICFP (2014)
Clemens Grabmayer, Jan Rochel
Maximal Sharing in the Lambda Calculus with letrec. CoRR (2014)
Clemens Grabmayer, Jan Rochel
Term Graph Representations for Cyclic Lambda-Terms. CoRR (2013)
Clemens Grabmayer, Jan Rochel
Term Graph Representations for Cyclic Lambda-Terms TERMGRAPH (2013)
Clemens Grabmayer, Jan Rochel
Expressibility in the Lambda Calculus with mu CoRR (2013)
Clemens Grabmayer, Jan Rochel
Expressibility in the Lambda Calculus with Mu. RTA (2013)
Clemens Grabmayer, Jan Rochel
Expressibility in the Lambda Calculus with Letrec CoRR (2012)
Jan Rochel, Clemens Grabmayer
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) TERMGRAPH (2011)
Jan Rochel
The Very Lazy λ-Calculus and the STEC Machine. IFL (2009)