TinkerType: a language for playing with formal systems.

Michael Y. Levin Benjamin C. Pierce

Published in: J. Funct. Program. (2003)

Keyphrases

formal languages
complex systems
management system
data sets
information systems
distributed systems
building blocks
formal methods
formal language
data model
object oriented
knowledge based systems
logic programming
computer programs
model theoretic