Typed self-interpretation by pattern matching (2011)

by Barry Jay, Jens Palsberg
Venue:ACM SIGPLAN Notices