-
Notifications
You must be signed in to change notification settings - Fork 10
Reading Schedule
dann toliver edited this page Aug 20, 2015
·
141 revisions
This is the reading schedule for the CS Cabal Friday night meeting. Events listed below are hosted at Bento Miso at 6:30pm unless otherwise specified.
The SICPv2 reading group has its own scheduling page.
The SICPv1 schedule has been enshrined for posterity.
August explorers explore augustly
- Aug 28: Break
- Aug 21: Go Meta! recap; Show & Tell; celebration and potluck!
- Aug 14: Rompf et al, [Go Meta!](Paper! Go Meta!) :: pdf
- Aug 7: Oleg, [The Design and Implementation of BER MetaOCaml](Paper! The Design and Implementation of BER MetaOCaml) :: pdf
July Miranda ML MetaML MetaMetaML and MegaMetaML
- July 31: Taha et al, [DSL Implementation in MetaOCaml, Template Haskell, and C++](Paper! DSL Implementation in MetaOCaml and Template Haskell and Cpp) (pdf)
- July 24: Taha, [A gentle introduction to multi-stage programming Part II part II](Paper! A gentle introduction to multi-stage programming part II) (pdf)
- July 17: Taha, [A gentle introduction to multi-stage programming Part II](Paper! A gentle introduction to multi-stage programming part II) (pdf)
- July 10: Taha, [A gentle introduction to multi-stage programming Part I](Paper! A gentle introduction to multi-stage programming) (pdf)
- July 03: How to make ad-hoc polymorphism less ad-hoc (pdf) (Some notes by Oleg.)
June : MonadReader m => Week -> m WadlerPaper
- June 26: Theorems for Free, the finale
- June 19: Theorems for Free (continued)
- June 12: Theorems for Free (pdf)
- June 05: Propositions as Types (pdf)
May we all become type theorists
- May 29: Vacation!
- May 22: Milner wrap-up party and Algorithm W show-and-tell
- May 15: Parts 4 of Milner, A Theory of Type Polymorphism in Programming :: pdf
- May 08: MEETING AT SUD FORNO! Parts 3.7 + 4.1 of Milner, A Theory of Type Polymorphism in Programming :: pdf
- May 01: Parts 3.5-3.7 of Milner, A Theory of Type Polymorphism in Programming :: pdf
April is the inferist month
- Apr 24: Part 3 of Milner, A Theory of Type Polymorphism in Programming :: pdf
- Apr 17: Parts 1 and 2 of Milner, A Theory of Type Polymorphism in Programming :: pdf
- Apr 10: Cardelli: Basic Polymorphic Typechecking :: pdf PLUS Type Inference Show & Tell!!
- Apr 03: Good Friday to thee! No meeting today.
March is in like a polymorphic lion
- Mar 27: Parts 5.3-9 of Cardelli & Wegner: On Understanding Types, Data Abstraction, and Polymorphism :: pdf
- Mar 20: Parts 4-5.2 of Cardelli & Wegner: On Understanding Types, Data Abstraction, and Polymorphism :: pdf
- Mar 13: Parts 2-3 of Cardelli & Wegner: On Understanding Types, Data Abstraction, and Polymorphism :: pdf
- Mar 6: Part 1 of Cardelli & Wegner: On Understanding Types, Data Abstraction, and Polymorphism :: pdf
February is National Memory Management Month!
- Feb 27: [Show & Tell! garbage Collectors](Show&Tell!-Garbage Collectors)
- Feb 20: Bacon et al: A Unified Theory of Garbage Collection :: pdf [Dann]
- Feb 13: Wilson: Uniprocessor GC Techniques, part 2 :: pdf [Section 4, Chris]
- Feb 6: Wilson: Uniprocessor GC Techniques, part 1 :: pdf [Sections 1 & 2, Leo]
January potpourri
- Jan 30: Strachey: Fundamental Concepts in Programming Languages :: pdf [Ben]
- Jan 23: Piumarta & Warth: Open, extensible object models :: pdf [Leo]
- Jan 16: Graham & Knuth: Josephus Problem [Scott]
- Jan 09: Bagwell: Ideal Hash Trees :: pdf [Dann]