Publication:4222897
From MaRDI portal
zbMath0911.68095MaRDI QIDQ4222897
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#moggi
68Q45: Formal languages and automata
Related Items
MetaML and multi-stage programming with explicit annotations, Two-level languages for program optimization