Jump to content

Category:Term-rewriting programming languages

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by BD2412 (talk | contribs) at 04:06, 20 March 2006 (link category using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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 11 pages are in this category, out of 11 total. This list may not reflect recent changes.

A

Abstract rewriting machine

C

Clean (programming language)

M

Maude system

O

OBJ (programming language)

P

Pure (programming language)

Q

Q (equational programming language)

R

T

W

Wolfram Language

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Term-rewriting_programming_languages&oldid=44608617"

Programming languages