122
click to vote
PLDI
1998
ACM
15 years 7 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...