Yeah, my comment is really more aimed at the schools that are teaching language design as if it was 1971. And you can always get a copy of TAPL, Types a

Yeah, my comment is really more aimed at the schools that are teaching language design as if it was 1971. And you can always get a copy of TAPL, Types and Programming Languages Benjamin C. Pierce February 1, 2002 ISBN-10: 0262162091 --- And there's a typo above, Nilsson should be "Nielson", as in: "Flemming Nielson and Hanne Riis Nielson. Two-Level Functional Languages. Cambridge University Press, 1992. The Pfenning paper I was thinking of was the S4 stuff: A Modal Analysis of Staged Computation Rowan Davies and Frank Pfenning, 1996