Andrew Gordon

Filter

2013
XML Web Services: The Global Computer?
Gordon, A., 2013, Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada. Springer, p. 355 1 p. (IFIP Advances in Information and Communication Technology; vol. 96).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
2010
Principles and Applications of Refinement Types
Gordon, A. D. & Fournet, C., 2010, Logics and Languages for Reliability and Security. IOS Press, Vol. 25. p. 73-104 32 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 45).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
1995
A Tutorial on Co-induction and Functional Programming
Gordon, A. D., 1995, Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994. Hammond, K., Turner, D. N. & Sansom, P. M. (eds.). London: Springer, p. 78-95 18 p. (Workshops in Computing).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Research output