Formal semantics for the Cat programming language
Wednesday, January 31, 2007
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.