Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Representations for Recursively Defined Functional Programs.. ICFPC, volume 107 of Lecture Notes in Computer Science, page 460-470. Springer, (1981)Good Rewrite Strategies for FP, , and . LICS, page 149-162. IEEE Computer Society, (1986)Denotational Semantics and Rewrite Rules for FP., , , and . POPL, page 108-120. ACM Press, (1985)Bounded Context Parsable Grammars. Inf. Control., 28 (4): 314-334 (August 1975)Towards Heterogeneous Multimedia Information Systems: The Garlic Approach., , , , , , , , , and 3 other author(s). RIDE-DOM, page 124-131. IEEE Computer Society, (1995)Safe: A Semantic Technique for Transforming Programs in the Presence of Errors., , and . ACM Trans. Program. Lang. Syst., 17 (1): 63-84 (1995)Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project., , , , , , , , , and 4 other author(s). VDB, volume 34 of IFIP Conference Proceedings, page 17-35. Chapman & Hall, (1995)A Fair Carpool Scheduling Algorithm., and . IBM J. Res. Dev., 27 (2): 133-139 (1983)Technical Description of the DECsafe Available Server Environment., and . Digit. Tech. J., (1995)On the Development of the Algebra of Functional Programs.. ACM Trans. Program. Lang. Syst., 4 (4): 733-757 (1982)