Programming Languages 2007

  • 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.

  • 23/03/2007 (Friday, 3pm) in CO230