Selected Publications

• J. Glimming, Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus. PhD thesis/Doctoral Dissertation in Computer Science, Stockholm University, ISBN 978-91-7155-550-2, 22 November 2007. Spikblad. (Contact author for a free paper copy.)
• J. Glimming, Computational Soundness and Adequacy of Typed Object Calculi, FOOL 2008, International Workshop on Foundations of Object-Oriented Languages (co-located with POPL 2008), ACM SIGPLAN, 2008. Also as technical report TRITA-CSC-TCS 2007:2 at NADA, KTH, although appeared already 2005 in author's Licentiate Thesis. Corrected version as available from workshop web page:
   
• J. Glimming, Parametric (Co)Iteration vs. Primitive Direcursion, Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), August 20-24, 2007, Bergen, Norway. To appear in LNCS, Springer Verlag, 2007. © Springer Verlag. The following preprint is published with expressed permission:
     
• J. Glimming, Dialgebraic Semantics of Typed Object Calculi. Licentiate thesis, Stockholm University ISBN 91-7178-031-9, TRITA-NA, May 2005.
• J. Glimming and N. Ghani, Difunctorial Semantics of Object Calculus. In Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004), Electronic Notes in Theoretical Computer Science, Volume 132, Issue 2, 23 November, Elsevier, 2005.
     
• J. Glimming and Faron Moller, Algorithm=Iterator+Visitor, Journal of Object-Oriented Programming, December, 2001.
• J. Glimming, An Introduction to Customization Design Patterns in EFLIB, Journal of Object-Oriented Programming, September, 1999.
• J. Glimming, Logic and Automation for Algebra of Programming, MSc Thesis, Maths Institute, University of Oxford, 2001.