Languages Seminar (CSE 590L)

Meta-Level Computation

Spring 2001

The seminar meets in Loew 105, Wednesdays at 1:30 pm. Please join the cse590l mailing list.
Month  Day Speaker Paper
March 28  Matthai Philipose Using MetaML: A Staged Programming Language.  Tim Sheard.  Tech report
April Todd Millstein A Temporal Logic Approach to Binding-Time Analysis.  Davies, LICS96
April 11  Jonathan Aldrich Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.  Engler, Chelf, Chou, Hallem, OSDI 2000
April 18  Keunwoo and Dmitry F-Bounded Polymorphism for Object-Oriented Programming.  Canning, Cook, Hill, Olthoff, Mitchell, FPCA 1989
May Sorin and Yana Type Inference for Records in Natural Extension of ML.  Didier Remy

Readings related to Meta-Computing

Some applications of meta-computing Papers on meta-computation in functional languages. Distinctive features of this body of work include their focus on the "staged computation" view of meta-computation, and their effort to provide a formal semantics for meta-computation. In particular, they provide statically typed languages that permit meta-computation. Papers on reflection in object-oriented languages.