-
Notifications
You must be signed in to change notification settings - Fork 10
Reading Schedule
dann toliver edited this page Jul 22, 2017
·
141 revisions
- July 28: Breaking through the normalization barrier: a self-interpreter for F-omega (Ben)
- August 4: Practical Coinduction? (Dann)
- August 11: The Imitation Game (Scott)
- August 18: Hygienic Resugaring of Compositional Desugaring (Huma)
- August 25: Supercompilation: Ideas and Methods (Greg)
- September 1: Efficient Immutable Vectors (Jim)
July 2017
- July 7: The Mystery of the Tower Revealed 2 (Dann)
- June 14: The Mystery of the Tower Revealed 3 (Dann)
- July 21: Stealthy Dopant Level Hardware Trojans (Leo)
June 2017
- June 9: On the expressive power of programming languages (Leo)
- June 16: On the expressive power of programming languages again
- June 23: The Design of Terralang (Scott)
- June 30: The Mystery of the Tower Revealed 1 (Dann)
May 2017:
- May 5: Incommensurability
- May 12: Out of the Tar Pit
- May 19: Type Systems for Optimizing Stack-based Code
- May 26: μKanren
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
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 Continuous Labs at 6:30pm, but signup at the above link and check the schedule there.
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).