Pettersson, M. et al "DML: A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications"
(1992)
(1992)
IEEE Conf Comp Langs April 1992
Languages mentioned
DML
{1992}