[PDF][PDF] AML: Attribute Grammars in ML.
SG Efremidis, KA Mughal, JH Reppy, L Søraas - Nord. J. Comput., 1997 - Citeseer
Attribute grammars are a valuable tool for constructing compilers and building user
interfaces. This paper reports on a system we are developing, called AML (for Attribution in …
interfaces. This paper reports on a system we are developing, called AML (for Attribution in …
[图书][B] Type inference and unification: Formal and informal proofs in and around Wand's algorithm
S Kothari - 2011 - search.proquest.com
Type inference algorithms form an important component of many functional language
compilers. Traditional type inference algorithms, for example Alg.[special characters …
compilers. Traditional type inference algorithms, for example Alg.[special characters …
[图书][B] Attribute evaluation using neighbour functions
KA Mughal, L Søraas - 1995 - Citeseer
Design and implementation of attribute evaluators has received considerable attention ever
since Knuth formulated the concept of attribute grammars. In particular, the class of Ordered …
since Knuth formulated the concept of attribute grammars. In particular, the class of Ordered …
[引用][C] To the University of Wyoming: The members of the Committee approve the dissertation of Sunil Kothari presented on 5-November-2010.
R Gamboa - 2010 - Department of Computer Science …