Title: Implementation of term rewriting-based programming languages
Subjects: Functional programming (Computer science), Programming languages (Electronic computers), Rewriting systems (Computer science)