-
Notifications
You must be signed in to change notification settings - Fork 11
Reading Schedule! Papers 2015
dann toliver edited this page Sep 6, 2015
·
1 revision
We read papers for the first part of 2015, between SICP and PFPL. We'll probably do it again in the future, because it was tonnes of fun.
August explorers explore augustly
- Aug 28: Summer 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]