Book/chapter/paper club

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