Programming Languages Seminar Fall 2009
Meeting time: Mondays 11-noonClassroom: NEB 218
Discussion Schedule
| Date | Paper/Topic | Discussion Leader |
| 9/14 | Organizational Meeting | Everyone |
| 9/21 | Types Are Calling Conventions, Max Bolingbroke and Simon Peyton Jones, Haskell Symposium 2009 | Wes |
| 9/28 | CML : A higher order concurrent language (also see Harper slides 421 on) and Parallel Concurrent ML : ICFP 09 | Hari |
| 10/5 | CML Implementation Continued | Hari |
| 10/12 | Type-Specialized Staged Programming with Process Separation | ScottS |
| 10/19 | Backstage Java | Zach |
| 10/26 | Guy Steele ICFP 09 invited talk | ScottS |
| 11/2 | Felleisen Course: Fun for Freshman Kids (slides) | Wes |
| 11/9 | Complete and Decidable Type Inference for GADTs | Wes |
| 11/16 | Go Language (slides) | ScottS |
| 11/23 | Coq Tutorial ; Certified Programming with Dependant Types.; Interactive Computer Theorem Proving | ScottD |
| X/Y | ||
| X/Y |
Topics for discussion:
- CML language (Hari)
- WGP '09 talk (Scott)
- Haskell GADTs and Complete and Decidable Type Inference for GADTs, an ICFP 2009 paper on them (Wes)
- Coq tutorial seminars (Wes)
- Joshua Dunfeld PhD thesis (slides)- dependent types with decidability (Wes)
- (Dependent types background)
- (Zach)
- Well-founded inductive definitions; Licata Zeil.. and Harper paper (Wes)
- Guy Steele's invited ICFP talk on multicore programming languages (Scott)
- Fun for Freshman Kids talk from ICFP 09(Wes)
- Control theory - discrete and continuous - and programming (Scott)
- Staged Programming: Meta-OCaml and state blow-up
- CEAL: A C-Based Language for Self-Adjusting Computation (Scott)
- Our own research