Reading Schedule

Friday night reading group

April 2017:

• April 7: Type Systems As Macros
• April 14: Geometric Approach to tracking mechanical motion
• April 21: Stream fusion: from lists to streams to nothing at all
• April 28: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

May 2017:

• Out of the Tar Pit
• Incommensurability
• Type Systems for Optimizing Stack-based Code
• μKanren

We usually meet at Bento Miso at 6:30pm, but check the schedule to be sure.

We previously read: * PFPL (Also Useful) * computer science papers * SICP.

Thursday night reading group

Currently reading: SICP

We usually meet at Shopify at 6:30pm, but check the schedule to be certain.

Code of Conduct

All of our meetings take place under the Bento Miso Code of Conduct. In addition to the points of contact on the Miso Code of Conduct page you can also contact Dann Toliver (416-731-8610).