This section is still under heavy construction…

Novels

  • Ender’s Game. Orson Scott Card.

Textbooks

  • In progress

Research Papers

Plan-to-Read

Novels

  • Suprisingly none right now (let me know if you have any recs!)

Textbooks

  • Programming Language Foundations in Agda. Philip Wadler, Wen Kokke, Jeremy Siek. Link

Research Papers

  • I have a large stack of papers on my desk right now