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