Book Club starts today!
The nominations are:
-
Semantics Engineering with PLT Redex
-
A Nanopass Framework for Compiler Education
and/or IU compiler course and book.pdf -
The Little Typer
-
The Little Prover
-
(Good book/article on probabilistic programming)
-
Paradigms in Artificial Intelligence Programming
In addition to the discussion options previously mentioned, the book club is also on the agenda for the Racket Meetup: Saturday December 4
Have at it!
Stephen