-
Notifications
You must be signed in to change notification settings - Fork 10
Reading Schedule
Leo Zovic edited this page Apr 29, 2017
·
141 revisions
April 2017:
- April 7:
Type Systems As Macros - April 14:
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs - April 21:
Stream fusion: from lists to streams to nothing at all - April 28:
Geometric Approach to tracking mechanical motion
May 2017:
June 2017:
- Comparing approaches to generic programming in Haskell
- Practical Coinduction?
- Stealthy Dopant Level Hardware Trojans
- Theorems For Free
We usually meet at Bento Miso at 6:30pm, but check the schedule to be sure.
We previously read:
Currently reading: SICP
We usually meet at Shopify at 6:30pm, but check the schedule to be certain.
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).