Title: An algebraic approach to the compilation and operational semantics of functional languages with I-structures
Subjects: Rewriting systems (Computer science), Compiling (Electronic computers)