Author of the publication

An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.

, , and . ICALP, volume 820 of Lecture Notes in Computer Science, page 83-105. Springer, (1994)

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

Functional and Inclusion Dependencies., and . XP4.5 Workshop on Database Theory, (1983)Report on the 6th Symposium on Principles of Database Systems.. SIGMOD Record, 16 (2): 15-17 (1987)Is Distributed Locking Harder?, and . PODS, page 98-107. ACM, (1982)Tools for Datalog Boundedness., , , and . PODS, page 1-12. ACM Press, (1991)On Concurrency Control by Multiple Versions., and . ACM Trans. Database Syst., 9 (1): 89-99 (1984)Object Identity as a Query Language Primitive., and . Building an Object-Oriented Database System, The Story of O2, Morgan Kaufmann, reprinted from SIGMOD Conference 1989: 159-173.(1992)Introduction to the Programming Environment., , and . Building an Object-Oriented Database System, The Story of O2, Morgan Kaufmann, (1992)Method Schemas., , , and . J. Comput. Syst. Sci., 51 (3): 433-455 (1995)ISIS: Interface for a Semantic Information System., , , and . SIGMOD Conference, page 328-342. ACM Press, (1985)SIGMOD Record 14(4), December 1985.Equational Theories and Database Constraints, and . STOC, page 273-284. ACM, (1985)