Kristoffer H. Rose, Susan Malaika, et al.
IBM Systems Journal
Paper
Normalization by evaluation with typed abstract syntax
Abstract
No abstract available.
Related
Conference paper
CRSX-Combinatory Reduction Systems with Extensions
Kristoffer H. Rose
RTA 2011
Kristoffer H. Rose, Roel Bloo, et al.
Journal of Automated Reasoning
Conference paper
The XML world view
Kristoffer H. Rose
DocEng 2004