Simon J. Thompson

	2009
25		Clara Benac Earle, Simon J. Thompson: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 ACM 2009
24		Darren K. Griffin, David Mitchell, Simon J. Thompson: Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Computers & Education 53(2): 532-539 (2009)
	2008
23		Huiqing Li, Simon J. Thompson: Tool support for refactoring functional programs. PEPM 2008: 199-203
22		Nik Sultana, Simon J. Thompson: Mechanical verification of refactorings. PEPM 2008: 51-60
	2007
21		Simon J. Thompson, Lars-Åke Fredlund: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 ACM 2007
20		Simon J. Thompson, Peter R. King, Patrick Schmitz: Declarative extensions of XML languages. ACM Symposium on Document Engineering 2007: 89-91
	2005
19		Simon J. Thompson, Peter R. King, Helen Cameron: Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools Appl. 27(1): 23-52 (2005)
	2004
18		Peter R. King, Patrick Schmitz, Simon J. Thompson: Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation. ACM Symposium on Document Engineering 2004: 57-66
	2003
17		Patrick Schmitz, Simon J. Thompson, Peter R. King: Presentation Dynamism in XML Functional Programming meets SMIL Animation. WWW (Posters) 2003
16		Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson: Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design 22(1): 5-38 (2003)
15		Howard Bowman, Simon J. Thompson: A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13(2): 195-239 (2003)
14		Helen Cameron, Peter R. King, Simon J. Thompson: Modeling Reactive Multimedia: Events and Behaviors. Multimedia Tools Appl. 19(1): 53-77 (2003)
	2000
13		Simon J. Thompson: A functional reactive animation of a lift using Fran. J. Funct. Program. 10(3): 245-268 (2000)
	1998
12		Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson: Synchronization in Multimedia Documents. EP 1998: 355-369
11		Howard Bowman, Simon J. Thompson: A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123
	1997
10		Simon J. Thompson: Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP 1997: 323-334
	1995
9		Simon J. Thompson, Steve Hill: Functional Programming Through the Curriculum. FPLE 1995: 85-102
8		Simon J. Thompson: A Logic for Miranda, Revisited. Formal Asp. Comput. 7(4): 412-429 (1995)
	1994
7		Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones: On the Equivalence Between CMC and TIM. J. Funct. Program. 4(1): 47-63 (1994)
	1993
6		Simon J. Thompson, Philip Wadler: Functional Programming in Education - Introduction. J. Funct. Program. 3(1): 3-4 (1993)
	1992
5		Simon J. Thompson, Rafael Dueire Lins: The Categorical Multi-Combinator Machine: CMCM. Comput. J. 35(2): 170-176 (1992)
	1990
4		Rafael Dueire Lins, Simon J. Thompson: Implementing SASL using Categorical Multi-combinators. Softw., Pract. Exper. 20(11): 1137-1165 (1990)
	1989
3		Simon J. Thompson: A Logic for Miranda. Formal Asp. Comput. 1(4): 339-365 (1989)
2		Simon J. Thompson: Lawful Functions and Program Verification in Miranda. Sci. Comput. Program. 13(1): 181-218 (1989)
	1986
1		Simon J. Thompson: Laws in Miranda. LISP and Functional Programming 1986: 1-12

Coauthor Index

1	Howard Bowman	[11] [12] [15] [16]
2	Helen Cameron	[12] [14] [16] [19]
3	Clara Benac Earle	[25]
4	Lars-Åke Fredlund (Lars-åke Fredlund)	[21]
5	Darren K. Griffin	[24]
6	Steve Hill	[9]
7	Simon L. Peyton Jones	[7]
8	Peter R. King	[12] [14] [16] [17] [18] [19] [20]
9	Huiqing Li	[23]
10	Rafael Dueire Lins	[4] [5] [7]
11	David Mitchell	[24]
12	Patrick Schmitz	[17] [18] [20]
13	Nik Sultana	[22]
14	Philip Wadler	[6]

Colors in the list of coauthors