ELVIS>
Main>SIGs > ProgrammingLanguages>ProgrammingLanguages2006 (25 Jul 2008, Main.craig)
Main>SIGs > ProgrammingLanguages>ProgrammingLanguages2006 (25 Jul 2008, Main.craig)- 24/11/2006 (Friday, 3pm) in CO230
- Flexible Ownership Types with Owner Variance AKA On Ownership and Accessibility. Yi Lu and John Potter ECOOP2006.
- 15/09/2006 (Friday, 3pm) in CO230
- 1/09/2006 (Friday, 3pm) in CO233 Memphis
- The Runtime Structure of Object Ownership by Nick Mitchell, IBM ECOOP2006
- 4/08/2006 (Friday, 3 pm) in CO232 Memphis
- 21/07/2006 (Friday, 3pm) in CO232 Memphis
- Friends Need a Bit More: Maintaining Invariants Over Shared State by Mike Barnett and David A. Nauman, MPC 2004.
- Attendance:
- 9/06/2006 (Friday, 3 p.m.) in CO232 Memphis
- Behavioral contracts and behavioral subtyping by Robert Bruce Findler, Mario Latendresse and Matthias Felleisen, FSE 2001
- Attendance:
- 26/05/2006 (Friday, 3pm) in CO232 Memhis
- [http://doi.acm.org/10.1145/197320.197383][A behavioral notion of subtyping]] by Wing and Liskov, TOPLAS 1994
- Attendance:
- 19/05/2006 (Friday, 3 pm) in CO232 Memphis
- Featherweight Java by Atsushi Igarashi, Benjamin C. Pierce and Philip Wadler, TOPLAS 2001.
- Attendance:
- 5/05/2006 (Friday, 3pm) in CO232 Memphis
- First-class relationships in an object-oriented language by Gavin Bierman and Alisdair Wren, ECOOP 2005.
- NOTES: Ok, we did this one already, but I messed up and gave the wrong link so people didn't read the right paper. And, I couldn't make the session after all and I really want to do this paper!!!
- Attendance:
- 24/03/2006 (Friday, 3pm) in CO232 Memphis
- [http://research.microsoft.com/Comega/ C Omega]) The essence of data access in Cω
- Attendance:
- Apologies:
- 17/03/2006 (Friday, 4pm) in CO232 Memphis
- [[http://www.cl.cam.ac.uk/~aw345/talks/ecoop05.pdf][First-class relationships in an object-oriented language] by Gavin Bierman and Alisdair Wren, ECOOP 2005.
- Attendance:
- 3/03/2006 (Friday, 2pm) in CO232 Memphis
- Tribe: More Types for Virtual Classes
- Attendance:
- Apologies:
- DonaldGordon (meeting downtown)
- 17/02/2006 (Friday, 2pm) in CO232 Memphis
- Crosscutting Techniques in Program Specification and Analysis by Patrick Lam, Viktor Kuncak, and Martin Rinard.
- Attendance:
- DavidPearce
- 3/02/2006 (Friday, 2pm) in CO232 Memphis
- Design Pattern Implementation in Java and AspectJ by Jan Hannemann and Gregor Kiczales, OOPSLA 2002
- Attendance:
- DavidPearce
- 27/01/2006 (Friday, 2pm) in CO232 Memphis
- Dylan. We'll have a video and slides shown from a Dylan Talk. As preparation browse their web site at [[http://www.gwydiondylan.org/][http://www.gwydiondylan.org/]
- Attendance:
- AlexPotanin
- DavidPearce
- BruceHoult
- 20/01/2006 (Friday, 1pm) in CO232 Memphis
- Dylan. We'll have a video and slides shown from a Dylan Talk. As preparation browse their web site at [[http://www.gwydiondylan.org/][http://www.gwydiondylan.org/]
- Attendance:
- AlexPotanin
- DavidPearce
- BruceHoult
- 13/01/2006 (Friday, 2pm) in CO232 Memphis
- Extended Static Checking for Java by C. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J.B. Saxe and R. Stata, PLDI 2002.
- Attendance:
- AlexPotanin
- DavidPearce
- 6/01/2006 (Friday, 2pm) ) in CO232 Memphis
- Plans for the new C++ standard in 2009 by Bjarne Stroustrup.
- Attendance:
- AlexPotanin
Home
News
People
Research
Publications
Conferences
Achievements
Courses- Special Interest Groups
-
Agile
- HCI
- Prog. Languages
- Elvis Internal
-
Admin
-
Resources
-
JoiningElvis
-
ElvisMeetings
-
Events
-
Subversion
-
ViewCVS
Create New Topic
Search
Changes
Notifications
RSS Feed
Statistics |
|
© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated