Home Search Progress Special Main Page

Main Page Recent Search Import Progress Special Pages Random Article

Page tools

Discussion Page information Revision history Edit source What links here Protection

Categories

Functional languages
Logic in computer science
Academic programming languages
Formal specification languages
Theorem proving software systems
Term-rewriting programming languages

What links here

OBJ (programming language)

July 3

article-link

June 28

article-link

Abstract data type

article-link

OBJ2

redirect

OBJ3

redirect