Unifying Theories of Objects : Publications

Conference papers

[1]	Unifying Theories of Locations Michael Anthony Smith and Jeremy Gibbons In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008. Details \| BibTeX

[2]	Unifying Theories of Objects Michael Anthony Smith and Jeremy Gibbons In Jim Davies and Jeremy Gibbons, editors, Integrated Formal Methods. Vol. 4591 of Lecture Notes in Computer Science. Pages 599−618. Springer−Verlag. 2007. Details \| BibTeX

[1]	Embedding an object calculus in the unifying theories of programming Michael Anthony Smith PhD Thesis , type=DPhil thesis DPhil thesisType. 2010. Details \| BibTeX