Author of the publication

Full Abstraction and Expressive Completenes for FP

, and . LICS, page 257-271. IEEE Computer Society, (1987)

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

Full Abstraction and Expressive Completenes for FP, and . LICS, page 257-271. IEEE Computer Society, (1987)Program Transformation in the Presence of Errors., , and . POPL, page 210-217. ACM Press, (1990)Soft Typing with Conditional Types., , and . POPL, page 163-173. ACM Press, (1994)Querying Shapes of Histories., , , and . VLDB, page 502-514. Morgan Kaufmann, (1995)Using Fagin's Algorithm for Merging Ranked Results in Multimedia Middleware., , , and . CoopIS, page 267-278. IEEE Computer Society, (1999)Towards Heterogeneous Multimedia Information Systems: The Garlic Approach., , , , , , , , , and 3 other author(s). RIDE-DOM, page 124-131. (1995)Optimizing Queries Across Diverse Data Sources., , , and . VLDB, page 276-285. Morgan Kaufmann, (1997)Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)., , and . TACS, volume 1281 of Lecture Notes in Computer Science, page 47-76. Springer, (1997)A Framework for Expressing and Combining Preferences., and . SIGMOD Conference, page 297-306. ACM, (2000)SIGMOD Record 29(2), June 2000.Sacrificing Simplicity for Convenience: Where Do You Draw the Line?, and . POPL, page 169-179. ACM Press, (1988)