| 2008 |
|---|
| 23 | EE | Huiqing Li,
Simon J. Thompson:
Tool support for refactoring functional programs.
PEPM 2008: 199-203 |
| 22 | EE | 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 | EE | Simon J. Thompson,
Peter R. King,
Patrick Schmitz:
Declarative extensions of XML languages.
ACM Symposium on Document Engineering 2007: 89-91 |
| 2005 |
|---|
| 19 | EE | Simon J. Thompson,
Peter R. King,
Helen Cameron:
Modelling Reactive Multimedia: Design and Authoring.
Multimedia Tools Appl. 27(1): 23-52 (2005) |
| 2004 |
|---|
| 18 | EE | 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 | EE | 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 | EE | 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 | EE | Peter R. King,
Helen Cameron,
Howard Bowman,
Simon J. Thompson:
Synchronization in Multimedia Documents.
EP 1998: 355-369 |
| 11 | EE | 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 |
