Also available in
pdf
and bibtex.
2003
Books
-
D. Clarke, editor.
First International Workshop on Aliasing,
Confinement and Ownershop in Object-Oriented Programming (IWACO), number
UU-CS-2003-030. Utrecht University, July 2003.
Workshop at ECOOP 2003 (bib).
Book Chapters
-
D. Clarke and A. Löh.
Generic Haskell, Specifically.
In J. Gibbons and J. Jeuring, editors, Generic Programming,
IFIP, pages 21--47. Kluwer Academic Publishers, 2003.
(bib).
Journal Articles
-
F. Atanassow, D. Clarke, and J. Jeuring.
Scripting XML in Generic Haskell.
Journal of Universal Computer Science, 2003.
to appear (bib).
In Proceedings
-
F. Atanassow, D. Clarke, and J. Jeuring.
Scripting XML in Generic Haskell.
In Brazilian Programming Languages Conference, May 2003.
(bib).
-
D. Clarke, S. Drossopoulou, and J. Noble.
International Workshop on Aliasing, Confinement,
and Ownership in Object-Oriented Programming: Workshop Report.
In European Conference on Object-Oriented Programming
(ECOOP'03): Workshop Reader, LNCS, Darmstadt, Germany, July 2003.
to appear (bib).
-
D. Clarke, M. Richmond, and J. Noble.
Saving the World from Bad Beans: Deployment-time
Confinement Checking.
In ACM Conference on Object-Oriented Programming Systems,
Languages and Applications (OOPSLA'03), Anaheim, California, USA, October
2003.
(bib).
-
D. Clarke and T. Wrigstad.
External Uniqueness.
In 10th Workshop on Foundations of Object-Oriented Languages
(FOOL), New Orleans, LA, January 2003.
(bib).
-
D. Clarke and T. Wrigstad.
External Uniqueness is Unique Enough.
In L. Cardelli, editor, European Conference on Object-Oriented
Programming (ECOOP'03), volume 2743 of LNCS, pages 176--200,
Darmstadt, Germany, July 2003.
(bib).
-
A. Löh, D. Clarke, and J. Jeuring.
Dependency-style Generic
Haskell.
In International Conference on Functional Programming
(ICFP'03), Uppsala, Sweden, August 2003.
(bib).
-
J. Noble, R. Biddle, E. Tempero, A. Potanin, and D. Clarke.
Towards a Model of Encapsulation.
In International Workshop on Aliasing, Confinement, and
Ownership (IWACO), Darmstadt, Germany, July 2003.
(bib).
2002
Book Chapters
-
D. Clarke and A. Löh.
Generic Haskell, Specifically.
In IFIP WG2.1 Working Conference on Generic Programming, pages
21--47. Dagstuhl, Germany, July 2002.
(bib).
In Proceedings
-
D. Clarke and S. Drossopolou.
Ownership, Encapsulation and the Disjointness of
Type and Effect.
In ACM Conference on Object-Oriented Programming Systems,
Languages and Applications (OOPSLA'02), Seattle, USA, November 2002.
(bib).
Technical Reports
-
D. Clarke, J. Jeuring, and A. Löh.
The Generic Haskell User's Guide
(Beryl Release).
Technical Report UU-CS-2002-047, Utrecht University, July 2002.
(bib).
2001
Phd Theses
-
D. Clarke.
Object Ownership and Containment.
PhD thesis, University of New South Wales, July 2001.
(bib).
In Proceedings
-
D. Clarke.
On Deleting Aggregate Objects.
In SPACE'01, London, January 2001.
Informal Proceedings (bib).
-
D. Clarke.
An Object Calculus with Ownership and Containment.
In Foundations of Object-oriented Programming (FOOL8), London,
January 2001.
(bib).
-
D. Clarke, J. Noble, and J. Potter.
Simple ownership types for Object containment.
In European Conference on Object-Oriented Programming
(ECOOP'01), Budapest, Hungary, 2001.
(bib).
Technical Reports
-
D. Clarke, R. Hinze, J. Jeuring, A. Löh, and J. de Wit.
The Generic Haskell User's Guide (Amber
Release).
Technical Report UU-CS-2001-026, Utrecht University, November 2001.
(bib).
1999
In Proceedings
-
D. Clarke, J. Noble, and J. Potter.
Overcoming Representation Exposure.
In Intercontinental Workshop on Aliasing in Object-Oriented
Systems (IWAOOS), At European Conference on Object-Oriented Programming
(ECOOP'99), Lisbon, Portugal, June 1999.
(bib).
-
J. Noble, D. Clarke, and J. Potter.
Object ownership for dynamic alias protection.
In TOOLS Pacific, Melbourne, Australia, November 1999.
(bib).
Technical Reports
-
D. Clarke, J. Noble, and J. Potter.
Who's Afraid of Ownership Types?
Technical report, Microsoft Research Institute, 1999.
(bib).
1998
In Proceedings
-
D. Clarke, J. Potter, and J. Noble.
Ownership Types for Flexible Alias Protection.
In ACM Conference on Object-Oriented Programming Systems,
Languages and Applications (OOPSLA'98), Vancouver, Canada, October 1998.
(bib).
-
J. Noble, D. Clarke, and J. Potter.
Dynamic Alias Protection in Prototype-based
Languages.
In Thinking with Prototypes Workshop at OOPSLA'98, Vancouver,
Canada, October 1998.
(bib).
-
J. Potter, D. Clarke, and J. Noble.
A Mode System for Flexible Alias Protection.
In Formal Methods Pacific '98, Canberra, Australia, June 1998.
(bib).
-
J. Potter, J. Noble, and D. Clarke.
The Ins and Outs of Objects.
In Australian Software Engineering Conference, Adelaide,
Australia, November 1998. IEEE Press.
(bib).
Technical Reports
-
D. Clarke, J. Potter, and J. Noble.
The Soundness of Ownership Types for Flexible
Alias Protection.
Technical report, Microsoft Research Institute, 1998.
(bib).
-
D. Clarke, R. Shelswell, J. Potter, and J. Noble.
Object Ownership to Order.
Technical report, Microsoft Research Institute, 1998.
(bib).
1996
In Proceedings
-
B. Jay, D. Clarke, and J. Edwards.
Exploiting Shape in Parallel Programming.
In IEEE Second International Conference for Algorithms and
Architecture for Parallel Processing, Singapore, June 1996.
(bib).
1994
This bibliography was generated using the
Stratego/XT bibtex-tools.
This document was translated from LATEX by
HEVEA.