Login / Signup
Kristoffer H. Rose
Publication Activity (10 Years)
Years Active: 2009-2011
Publications (10 Years): 0
</>
Publications
</>
Kristoffer H. Rose
CRSX - Combinatory Reduction Systems with Extensions.
RTA
(2011)
Kristoffer H. Rose
Higher-order Rewriting for Executable Compiler Specifications
HOR
(2010)
Hanne Gottliebsen
,
Kristoffer H. Rose
Converting between Combinatory Reduction Systems and Big Step Semantics.
Semantics and Algebraic Specification
(2009)