« earlier | later » Page 1 of 1
The (well-known?) book that has a nice treatment of reasoning about program semantics, using C++ as the sample language. And now the book is freely available as a PDF! I wonder if we could do a module based on this...
to c++ cmp409 etext programming-language semantics ... on 29 June 2020
David Moon's design for a modern Lisp with proper syntax rather than S-expressions.
to lisp mit programming-language syntax ... on 29 June 2020
« earlier | later » Page 1 of 1
- programming-language | |
1 | c++ |
1 | cmp409 |
1 | etext |
1 | lisp |
1 | mit |
2 | programming-language |
1 | semantics |
1 | syntax |
tasty by Adam Sampson.