Winter 2007
Topic: Module type systems
| Date | Topic / Paper |
| January 30 | Derek Dreyer,
"Understanding and Evolving the ML Module System", Ph.D. Thesis
[pdf]
(Read: Chapter 1: The Design Space of ML Modules) |
| Feburary 8 | Derek Dreyer,
"Understanding and Evolving the ML Module System", Ph.D. Thesis
[pdf]
(Read: Chapter 2: A Unifying Acount of ML Modules) |
| Feburary 13 | Derek Dreyer, "Recursive Type Generativity", JFP, November 2006 [pdf] |
| Feburary 20 | Derek Dreyer, "Practical Type Theory for Recursive Modules", TR [pdf] |
Fall 2006
Topic: Substructural type systems
| Date | Topic / Paper |
| October 4 | Tutorial on substructural Types
Read: David Walker's chapter on "Substructural Type Systems" in Pierce's ATTAPL book |
| October 11 | Substurctual State
Read: "A Step-Indexed Model of Substructural State" by Ahmed, Fluet, and Morrisett in ICFP'05 |
| October 18 | Edsko de Vries, Rinus Plasmeijer, David Abrahamson, "Uniqueness Typing Redefined", IFL 2006 [pdf] |
| October 25 | Sing#
Read: "Language Support for Fast and Reliable Message-based Communication in Singularity OS" by Fähndrich et al. in EuroSys 2006 |
| Date | Topic / Paper |
| November 1 | Olin Shivers, "Higher-order control-flow analysis in retrospect: Lessons learned, lessons abandoned" , PLDI'88 [pdf] |
| November 8 | Matthew Might and Olin Shivers, "Improving Flow Analyses by Gamma-CFA: Abstract Garbage Collection and Counting", ICFP'06 [pdf] |
| November 15 | Manuel Serrano, "Control flow analysis: a functional languages compilation paradigm", 1995 [pdf] |
| November 29 | Henry Cejtin, Suresh Jagannathan and Stephen Weeks, "Flow-Directed Closure Conversion for Typed Languages", ESOP'00 [link] |
| Date | Paper / Topic |
| Jan. 31 | Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek and Jeremiah Willcock.
A comparative study of language support
for generic programming. OOPSLA 2003. |
| Jan. 24 | Ralf Lammel and Simon Peyton-Jones.
Scrap more boilerplate: reflection, zips,
and generalised casts.
ICFP 2004.
|
| Jan. 03 | John Reppy and Aaron Turon.
A foundation for trait-based metaprogramming.
FOOL/WOOD '06, January 2006.
|
| Date | Paper / Topic |
| Nov. 28 | Steven Ganz, Amr Sabry, and Walid Taha. Macros as Multi-Stage Computations. [full text] |
| Nov. 21 | Nick Benton and Andrew Kennedy. Exceptional syntax. [full text (JFP)] |
| Nov. 14 | Walid Taha. A gentle introduction to multi-stage programming. [full text] |
| Nov. 7 | Haruo Hasoya, Jerome Vouillon, and Benjamin C. Pierce. Regular Expression Types for XML. ACM Transactions on Programming Languages and Systems (TOPLAS), January 2005. [full text (conference pa per)] [full text (full paper)] |
| Oct. 31 | Limsoon Wong.
The functional guts of the Kleisli query system.
Proceedings of the ICFP, (Optional) Limsoon Wong. Kleisli, a functional query system. Journal of Functional Programming, 10(1):19-56, 2000. [full text] (Optional) Peter Buneman, Shamim Naqvi, Val Tannen, and Limsoon Wong. Principles of programming with complex objects and collection types. Theoretical Computer Science, 149(1):3-48, 1995. [full text] |
| Date | Paper / Topic |
| May 31 | Benjamin C. Pierce and David N. Turner Local Type Inference [full text (TOPLAS)] |
| May 9 | John Reynolds Separation Logic: A Logic for Shared Mutable Data Structures [full text (LICS)] |
| Apr. 25 | Umut Acar, Guy Blelloch, and Robert Harper Adaptive Functional Programming [full text (POPL)] |
| Apr. 18 | Hongwei Xi, Chiyan Chen, and Gang Chen Guarded Recursive Datatype Constructors [full text (POPL)] |
| Apr. 4 | Shriram Krishnamurthi Automata via Macros [full text (JFP)] |
| Mar. 8 | Matthew Flatt Composable and Compilable Macros: You Want It When? [full text (ICFP)] |
| Mar. 1 | Ralf Laemmel and Simon Peyton Jones Scrap your boilerplate: a practical design pattern for generic programming. [full text (TLDI)] |
| Feb. 22 | David F. Bacon, Perry Cheng, and V.T. Rajan A Unified Theory of Garbage Collection. [full text (OOPSLA)] |
| |
CS Department at the University of Chicago | |
Toyota Technological Institute at Chicago |