Author of the publication

Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.

, , , and . OOPSLA, page 156-168. ACM, (1995)OOPSLA'95, Addendum to the Proceedings: OOPS Messenger 6(4) October 1995.

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

Biography of Kristen Nygaard.. HOPL, page 492. Academic Press / ACM, (1978)Reliable Object Storage to Support Atomic Actions., , and . SOSP, page 147-159. ACM, (1985)Operating System Review 19(5).A Decentralized Model for Information Flow Control., and . SOSP, page 129-142. ACM, (1997)Operating System Review 31(5).Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing., , and . POPL, page 150-159. ACM Press, (1986)Programming Languages - Past Achievements and Future Challenges., , , and . ACM-TURING, page 12:1. ACM, (2012)Viewstamped Replication: A General Primary Copy., and . PODC, page 8-17. ACM, (1988)Argus.. Fault-Tolerant Distributed Computing, volume 448 of Lecture Notes in Computer Science, page 108-114. Springer, (1986)Efficient Recovery in Harp., , , , and . Workshop on the Management of Replicated Data, page 104-106. IEEE Computer Society Press, (1992)Specification techniques for data abstractions., and . Reliable Software, page 72-87. ACM, (1975)Keynote presentation: Programming the turing machine.. HILT, page 23-24. ACM, (2012)