Professor Stephen Gilmore
School of Informatics
The University of Edinburgh
Informatics Forum (Room 3.47)
10 Crichton Street
Edinburgh EH8 9AB
Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189
Biography — Projects — Publications —
Students — Teaching — Conferences — Family — DBLP
Publications
All ‣ Preprints ‣ 2011 ‣ 2010 ‣ 2009 ‣ 2008 ‣ 2007 ‣ 2006 ‣ 2005 ‣ 2004 ‣ 2003 ‣ 2002 ‣ 2001 ‣ 2000 ‣ 1999 ‣ 1998 ‣ 1997 ‣ 1996 ‣ 1995 ‣ 1994
1997
- Programming in Standard ML '97: A tutorial introduction, Stephen
Gilmore, Technical Report ECS-LFCS-97-364, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh,
1997.
- Elementary structural analysis for PEPA,
Stephen Gilmore, Jane Hillston, and Laura Recalde. Technical Report ECS-LFCS-97-377, Laboratory for Foundations of Computer Science, Department of
Computer Science, The University of Edinburgh, 1997.
- Dynamic ML without dynamic types, Stephen
Gilmore, Dilsun Kırlı, and Chris Walton. Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer Science, Department of
Computer Science, The University of Edinburgh, 1997.
Last updated: Monday, 16 March 2015 — Validate this
page.