Research

• Fighting Bit Rot with Types?
  Keynote, AOSD 2010.
• Scala: How to make best use of functions and objects
  Tutorial slides, ACM Symposium on Applied Computing 2010.

• The Scala Experiment -- Can We Provide Better Language Support for Component Systems?
  Google TechTalk, November 2006.
  in Acrobat (.pdf) format. A Video is available.

• Tackling Concurreny -- Language or Library?
  Intel Berkeley Research Center, November 2006.
  in Acrobat (.pdf) format.

• A Core Calculus for Scala Type Checking
  Invited talk, Mathematical Foundations of Computer Science (MFCS), Stara Lesna, Slovakia, August 31, 2006.
  in Acrobat (.pdf) format.

• Poor Man's Type Classes
  IFIP WG 2.8 working group, Boston, July 2006.
  in Acrobat (.pdf) format.

• The Scala Experiment -- Can We Provide Better Language Support for Component Systems?
  Invited talk, ACM Symposium on Programming Languages and Systems (POPL), January 2006.
  in Acrobat (.pdf) format.

• Independently Extensible Solutions to the Expression Problem}
  ACM Workshop on Foundations of Object-Oriented Languages (FOOL 12) January 2005.
  in Powerpoint (.ppt) format.

• Programming Language Abstractions for Semi-Structured Data
  Hasler Workshop, May 2004
  in PowerPoint (.ppt) format.

• A Nominal Theory of Objects with Dependent Types
  Proc. ECOOP, June 2003
  in Postscript (.ps) format.

• Functional Nets
  Invited talk, European Symposium on Programming, March 2000.
  in PowerPoint (.ppt) or Acrobat (.pdf) format.

• Objects + Views = Components?
  Invited talk, Abstract State Machines - ASM 2000, March 2000.
  in PowerPoint (.ppt) or Acrobat (.pdf) format.