Category:Term-rewriting programming languages

From Infogalactic: the planetary knowledge core

Jump to: navigation, search

This category lists those functional languages that are based on term-rewriting instead of the lambda calculus.

Pages in category "Term-rewriting programming languages"

The following 5 pages are in this category, out of 5 total.

A

Abstract rewriting machine

C

Clean (programming language)

M

Maude system

Q

Q (equational programming language)

R

RascalMPL

Retrieved from "https://infogalactic.com/w/index.php?title=Category:Term-rewriting_programming_languages&oldid=2048558"