Programming Languages Seminar Spring 2009

Proposed Discussion Schedule

Some topics for discussion will include:

• Seperation Logic (and perhaps Hoare Logic/Type Theory)
• Control theory - discrete and continuous - and programming
• Coq (some more)
• Delphin
• Scoll capabilities
• Transmeta
• SSA
• (More on) Staged Programming (perhaps)
• With any luck, some of our own research

Some papers for discussion will include:

• TBD

Previous Seminars

• Fall 2008, Spring 2008
• Fall 2007, Summer 2007, Spring 2007
• Fall 2006, Summer 2006, Spring 2006
• Fall 2005, Summer 2005, Spring 2005
• Fall 2004, Summer 2004, Spring 2004
• Fall 2003, Summer 2003, Spring 2003
• Fall 2002
• Spring 2002