Syllabus
The table below gives the planned syllabus for the seminar this semester. The syllabus lists the topics and papers to be discussed.
Material describing the course is available elsewhere.
Students should study the paper to be discussed prior to the meeting so that they can participate in the discussion.
This syllabus is provisional and subject to change. If it is necessary to revise the schedule, then this page will be updated to reflect the changes.
| Date | Paper or Topic | Discussion Leader |
|---|---|---|
| Jun. 26 | [Grossman06] | Gary |
| Jul. 3 | [Lewis-etal00] | John |
| Jul. 10 | No Meeting | |
| Jul. 17 | Chakravarty-etal05] | Yuyan |
| Jul. 24 | [Scharli-etal03] | Gary |
Bibliography
Note that you can use each paper's DOI link to get a copy of it, when you are on the UCF network.
- [Chakravarty-etal05]
- Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. Associated Types with Class In POPL'05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1-13, ACM, 2005. http://dx.doi.org/10.1145/1047659.1040306/a>
- [Grossman06]
- Dan Grossman. Quantified Types in an Imperative Language. ACM TOPLAS, 28(3):429-475, May, 2006. http://dx.doi.org/10.1145/1133651.1133653
- [Lewis-etal00]
- Jeffrey R. Lewis, John Launchbury, Erik Meijer, and Mark B. Shields. Implicit parameters: dynamic scoping with static types. In POPL'00 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 108-118, ACM, 2000. http://dx.doi.org/10.1145/325694.325708
- [Scharli-etal03]
- Nathanael Schärli and Stéphane Ducasse and Oscar Nierstrasz and Andrew P. Black. Traits: Composable Units of Behaviour. In ECOOP 2003, pages 248-274, Springer-Verlag, 2000. Lecture Notes in Computer Science, volume 2743. http://dx.doi.org/10.1007/978-3-540-45070-2_12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Last modified Saturday, July 26, 2014.