IT University of Copenhagen

  • here

    National University of Singapore

  • 2007/2 CS 4212 Compiler Design
  • 2007/1 CS4214 Formal Semantics
  • 2006/2 CS4212 Compiler Design
  • 2006/1 CS4212 Compiler Design
  • 2005/2 CS4214 Formal Semantics
  • 2005/1 CS4212 Compiler Design
  • 2004/2 CS4214 Formal Semantics
  • 2004/1 CS4212 Compiler Design
  • 2004/1 CS6202 Advanced Topics in Programming Languages
  • 2003/2 CS3234 Guest Lecture "Types and Logic"
  • 2003/2 CS3212 Guest Lecture "Type Inference for simPL"
  • 2003/1 CS 4212 Compiler Design
  • 2002/1 CS 1102 Algorithms and Data Structures

    University of Melbourne

  • 2002/1 CS 433-141 Computing Fundamentals A
  • 2002/1 CS 433-670 Principles of Programming Languages
  • 2001/2 CS 433-253 Algorithms and Data Structures
  • 2001/1 CS 433-141 Computing Fundamentals A
  • 2001/1 CS 433-670 Principles of Programming Languages
  • 2000/1 CS 433-141 Computing Fundamentals A
  • 2000/1 CS 433-141 Computing Fundamentals A
  • 2000/1 CS 433-252 Software Development Principles and Tools
    Martin Sulzmann
    Last modified: Tue Aug 14 17:14:29 GMT-8 2007