Typed self-interpretation by pattern matching.

C. Barry Jay, Jens Palsberg

Browse the full ICFP paper archive.