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

An Ideal Model for Recursive Polymorphic Types, , and . Information and Control, 71 (1/2): 95-130 (October 1986)Programming languages - concepts and constructs.. Addison-Wesley, (1988)Storage Requirements for Deterministic Polynomial Time Recognizable Languages., and . J. Comput. Syst. Sci., 13 (1): 25-37 (1976)Testing for the Church-Rosser Property.. J. ACM, 21 (4): 671-679 (1974)Worst Case Analysis of Two Scheduling Algorithms., and . SIAM J. Comput., 6 (3): 518-536 (1977)Validating Register Allocations for Straight Line Programs. STOC, page 222-237. ACM, (1972)A Comparison of Instruction Sets for Stack Machines, and . STOC, page 132-142. ACM, (1977)The Global Storage Needs of a Subcomputation., and . POPL, page 148-157. ACM Press, (1984)Circular Expressions: Elimination of Static Environments.. ICALP, volume 115 of Lecture Notes in Computer Science, page 378-392. Springer, (1981)Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract)., , and . SOSP, page 102-103. ACM, (1973)Operating System Review 7(4).