ProgrammingLanguages2007 < Main < ELVIS

Main>ReadingGroups > ProgrammingLanguages>ProgrammingLanguages2007 (03 Sep 2010, Main.craig)

9/11/2007 (Friday, 2pm) in CO230
- Generic Universe Types ECOOP 2007

14/09/2007 (Friday, 2pm) in CO230
- A Simple and Unifying Approach to Subjective Objects. Randall B. Smith and David Ungar. Submission for TAPOS special issue on Subjectivity in Object-Oriented Systems.

3/08/2007 (Friday, 3pm) in CO230
- TinkerType: A Language for Playing with Formal Systems. Michael Y. Levin and Benjamin C. Pierce. Journal of Functional Programming, 13(2), March 2003. A preliminary version appeared as an invited paper at the Logical Frameworks and Metalanguages Workshop (LFM), June 2000.

6/07/2007 (Friday, 2pm) in CO230
- Matters of (Meta-) Modeling. Thomas Kühne

8/06/2007 (Friday, 3pm) in CO230
- Virtual Classes OOPSLA 1989

23/03/2007 (Friday, 3pm) in CO230
- On System Design Jim Waldo's essay OOPSLA 2006

9/03/2007 (Friday, 3 p.m.) in CO230
- Interaction-Based Programming with Classages

2/03/2007 (Friday, 3pm) in CO230
- A framework for implementing pluggable type systems

19/01/2007 (Friday, 4pm) in CO230
- Semantic Type Qualifiers

Print version | Backlinks

Main

Log In

© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated