Main Contributions Expected from the Students
- write a term paper on one of the topics below, 4 pages SIGPLAN style
- write a review about somebody else's term paper, at least 500 words
- present your work in a 20 minutes talk plus 5 minutes discussion
- participate in each other's discussions
Instructors
- Prof. Dr. Klaus Ostermann
- Sebastian Erdweg, M.Sc.
- Tillmann Rendel, M.Sc.
Important dates
date | description |
---|---|
Friday, 30.10.2009, 14.15 h | kick-off meeting in Prof. Ostermann's office 05D15 |
Wednesday, 04.11.2009 | registration deadline |
Sunday, 17.01.2010 | paper deadline |
Sunday, 31.01.2010 | review deadline |
Sunday, 14.02.2010 | paper deadline (final version) |
Thursday, 11.03.2010, 10.00 h | talks |
Topics
Modularity
D. L. Parnas. On the criteria to be used in decomposing systems into modules. In Communications of the ACM 15,12 (1053―1058). ACM. New York, 1972. [link]
Abstract Data Types
Barbara Liskov and Stephen Zilles. Programming with abstract data types. In ACM SIGPLAN Notices 9, 4 (50―59). ACM. New York, 1974. [link]
student: Youssef Ibrahim, supervisor: Tillmann Rendel
Functions
Guy Steele. Debunking the "expensive procedure call" myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO. In Proc. of the 1977 annual conference. ACM. New York, 1977. [link]
student: Bastian Hoßbach, supervisor: Sebastian Erdweg
Standard ML module system
David MacQueen. Modules for Standard ML. In Proceedings of the 1984 ACM Conference on LISP and Functional Programming. ACM. New York, 1984. [link]
Virtual Classes
Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual classes: a powerful mechanism in object-oriented programming. In Conference proceedings on Object-oriented programming systems, languages and applications. ACM. New York, 1989. [link]
student: Nico Huber, supervisor: Tillmann Rendel
Type Classes
Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Proceedings of the 16th Symposium on Principles of Programming Languages. ACM. New York, 1989. [link]
student: Mehdi Zarrad, supervisor: Sebastian Erdweg
Aspect-Oriented Programming
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-Oriented Programming. In Proc. of the European Conference on Object-Oriented Programming. Springer-Verlag LNCS 1241. 1997. [link]
Separate Compilation
Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages. ACM. New York, 1997. [link]
Functional Reactive Programming
Henrik Nilsson, Antony Courtney, and John Peterson. Functional Reactive Programming, continued. In Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. ACM. New York, 2002. [link]
Higher-Kinded Generics
Adriaan Moors, Frank Piessens, and Martin Odersky. Generics of a Higher Kind. In Proc. of the 23rd ACM SIGPLAN conference on Object-Oriented Programming Systems Languages and Applications. ACM. New York, 2008. [link]
student: Marc Seidemann, supervisor: Tillmann Rendel