Also available in
pdf
and bibtex.
-
F. Atanassow, D. Clarke, and J. Jeuring.
Scripting XML in Generic Haskell.
Journal of Universal Computer Science, 2003.
to appear (bib).
-
F. Atanassow, D. Clarke, and J. Jeuring.
Scripting XML in Generic Haskell.
In Brazilian Programming Languages Conference, May 2003.
(bib).
-
D. Clarke.
Uniform Global Optimisations for Parallelising
Compilers, December 1994.
4th Year Honours Thesis. Australian National University
(bib).
-
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.
Object Ownership and Containment.
PhD thesis, University of New South Wales, July 2001.
(bib).
-
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).
-
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).
-
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, 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).
-
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).
-
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).
-
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).
-
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).
-
D. Clarke, J. Noble, and J. Potter.
Who's Afraid of Ownership Types?
Technical report, Microsoft Research Institute, 1999.
(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).
-
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).
-
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, 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, R. Shelswell, J. Potter, and J. Noble.
Object Ownership to Order.
Technical report, Microsoft Research Institute, 1998.
(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).
-
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).
-
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).
-
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. Noble, D. Clarke, and J. Potter.
Object ownership for dynamic alias protection.
In TOOLS Pacific, Melbourne, Australia, November 1999.
(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).
This bibliography was generated using the
Stratego/XT bibtex-tools.
This document was translated from LATEX by
HEVEA.