Wednesday, January 31, 2007

Formal semantics for the Cat programming language

Christopher Diggins has written a paper defining formal semantics for the Cat programming language. I've mentioned Cat here several times; it is currently at version 0.9.9.

No comments: