Category:Term-rewriting programming languages

From Wikipedia, the free encyclopedia
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 12 pages are in this category, out of 12 total. This list may not reflect recent changes (learn more).

A

C

I

M

P

Q

R

S
Retrieved from "http://en.wikipedia.org/w/index.php?title=Category:Term-rewriting_programming_languages&oldid=307762319"
Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox
Print/export
Languages