home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by D.G. Clarke

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

D.G. Clarke

• contact information
• my technical reports
• former member of group software technology

some publications

Löh, A., Jeuring, J.T., Clarke, D.G., Hinze, R., Rodriguez, A. & Wit, J de (2005). Generic Haskell User's Guide -- Version 1.42 (Coral). UU-CS 2005-004. onbekend: UU WINFI Informatica en Informatiekunde.

Pierik, C., Clarke, D.G. & Boer, F.S. de (2004). Creational Invariants. In Formal Techniques for Java-like Programs workshop (Proc. of FTfJP 2004).

Potanin, A., Noble, J. & Clarke, D.G. (2004). Defaulting Generic Java to Ownership. In Formal Techniques for Java-like Programs.

Potanin, A., Noble, J., Clarke, D.G. & Biddle, R. (2004). Featherweight Generic Confinement. In FOOL 11.

Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2004). UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman (Ed.), Proceedings 6th International Symposium on Practical Aspects of Declarative Languages. (pp. 71-85). Berlin: Springer-Verlag.

Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. UU-CS 2003-022. Utrecht: Universiteit Utrecht.

Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (pp. 141-152). Uppsala: ACM.

Clarke, D.G. & Wrigstad, T (2003). External Uniqueness.

Clarke, D.G. & Wrigstad, T (2003). External Uniqueness is Unique Enough. In Luca Cardelli (Ed.), European Conference on Object-Oriented Programming (ECOOP'03). Darmstadt, Germany: Springer Verlag, Berlin, Germany.

Clarke, D.G. (Ed.). (2003). First International Workshop on Aliasing, Confinement and Ownershop in Object-Oriented Programming (IWACO)..

Clarke, D.G. (2003). Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO). UU-CS 2003-030. Utrecht: Utrecht University: Information and Computing Sciences.

Clarke, D.G., Richmond, M. & Noble, J. (2003). Saving the World from Bad Beans: Deployment-time Confinement Checking. In Jr Guy Steele (Ed.), ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'03). Anaheim, California, USA: ACM Press, New York, NY, USA.

Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. : Utrecht University.

Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003.

Noble, J., Biddle, R., Tempero, E., Potanin, A. & Clarke, D.G. (2003). Towards a Model of Encapsulation.

Clarke, D.G. & Wrigstad, T (2002). External Uniqueness is Unique Enough. UU-CS 2002-048. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Clarke, D.G. & Löh, A. (2002). Generic Haskell, Specifically. In J. Jeuring & J. Gibbons (Eds.), Proceedings of the IFIP TC2 Working Conference on Generic Programming.

Clarke, D.G. & Drossopoulou, S. (2002). Ownership, encapsulation and the disjointness of type and effect. In OOPSLA 2002 Conference Proceedings (pp. 292-310). New York, USA: ACM.

Clarke, D.G., Jeuring, J.T. & Löh, A. (2002). The Generic Haskell User's Guide. Version 1.23 - Beryl release. UU-CS 2002-047. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Clarke, D.G., Noble, J. & Potter, J. (2001). Simple Ownership Types for Object Containment. In Jorge Linskov Knudsen (Ed.), ECOOP 2001: Object-Oriented Programming (pp. 53-76). Berlin, Germany: Springer.

Clarke, D.G., Hinze, R., Jeuring, J.T., Löh, A. & Wit, J. (2001). The Generic Haskell User's Guide. UU-CS 2001-26. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.