Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 118.

Article

Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (The full text of this publication is not available from this repository)

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams . pp. 101-133. (Full text available)
[img]
Preview

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. Trends in Functional Programming, 7829 . (Full text available)
[img]
Preview

Thompson, Simon and Laemmel, Ralf and Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming . ISSN 0167-6423. (Full text available)
[img]
Preview

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. Formal Methods for Components and Objects, 6286 . pp. 250-271. ISSN 0302-9743. (Full text available)
[img]
Preview

Griffin, Darren K. and Mitchell, David and Thompson, Simon (2009) Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Computers and Education, 53 (2). pp. 532-539. ISSN 0360-1315. (Full text available)
[img]
Preview

Stapleton, Gem and Taylor, John and Thompson, Simon and Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon and Reinke, Claus (2005) The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science, 141 (4). pp. 29-34. ISSN 1571-0661. (Full text available)
[img]
Preview

Thompson, Simon and King, Peter and Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (Full text available)
[img]
Preview

Bowman, Howard and Thompson, Simon (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. (The full text of this publication is not available from this repository)

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856 . (The full text of this publication is not available from this repository)

Cameron, Helen and King, Peter and Thompson, Simon (2003) Modelling Reactive Multimedia: Events and Behaviours. Multimedia Tools and Applications, 19 (1). pp. 53-77. ISSN 1380-7501. (The full text of this publication is not available from this repository)

Charles, Nathan and Bowman, Howard and Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489 . (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1995) A Logic for Miranda, Revisited. Formal Aspects of Computing (7). (Full text available)
[img]
Preview
[img]
Preview

Lins, Rafael D. and Thompson, Simon and Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon and Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1989) A Logic for Miranda. Formal Aspects of Computing (1). (The full text of this publication is not available from this repository)

Book section

Thompson, Simon and Howse, John and Taylor, John and Stapleton, Gem and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhaüser, pp. 101-133. ISBN 9783034805995. (Full text available)
[img]
Preview

Clear, Tony and Caxton, Gwyn and Thompson, Simon and Fincher, Sally (2011) Cooperative and Work-Integrated Education in Information Technology. In: Coll, Richard and Zegwaard, Karsten, eds. Integrated Handbook for Cooperative and Work-Integrated Education. World Associate of Cooperative Education, Inc., pp. 182-196. ISBN 978-0-615-51885-5. (The full text of this publication is not available from this repository)

Thompson, Simon (1999) Proof. In: Hammond, Kevin and Michaelson, Greg, eds. Research Directions in Parallel Functional Programming. Springer Verlag, pp. 93-119. ISBN 1-85233-092-9. (Full text available)
[img]
Preview

Monograph

Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (Full text available)
[img]
Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2011) A Domain-Specific Language for Scripting Refactorings in Erlang. Technical report. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report. (Full text available)
[img]
Preview

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report. (Full text available)
[img]
Preview

Thompson, Simon and King, Peter (2007) Declarative Extensions of XML Languages. Technical report. University of Kent, Canterbury, Kent (Full text available)
[img]
Preview

Ryder, Chris and Thompson, Simon (2005) Porting HaRe to the GHC API. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

Li, Huiqing and Reinke, Claus and Thompson, Simon (2004) Progress on HaRe: the Haskell Refactorer. Other. kent university (Unpublished) (The full text of this publication is not available from this repository)

Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)
[img]
Preview

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (Full text available)
[img]
Preview

Thompson, Simon (2000) Regular Expressions and Automata using Haskell. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Ryder, Chris and Thompson, Simon (1999) Aldor meets Haskell. Technical report. Computing Laboratory, University of Kent (Full text available)
[img]
Preview
[img]
Preview

Felleisen, Matthias and Hanus, Michael and Thompson, Simon (1999) Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education. Technical report. Rice University (The full text of this publication is not available from this repository)

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1998) A Functional Reactive Animation of a Lift using Fran. Technical report. Cambridge University Press (Full text available)
[img]
Preview
[img]
Preview

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1997) Higher-order + Polymorphic = Reusable. Other. University of Kent (Unpublished) (Full text available)
[img] [img]

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished) (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Lins, Rafael D. and Thompson, Simon (1990) Implementing SASL using Categorical Multi-combinators. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK (Access to this publication is restricted)
[img]

Thompson, Simon (1986) Proving properties of functions defined on lawful types. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

Conference or workshop item

Thompson, Simon and Delaney, Aidan and Stapleton, Gem and Taylor, John (2014) A Normal Form for Spider Diagrams of Order. In: 2014 International Workshop on Visual Languages and Computing, 27-29 August 2014. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2014) Improved semantics and implementation through property-based testing with QuickCheck. In: Proceedings of the 9th International Workshop on Automation of Software Test - AST 2014. pp. 50-56. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon and Lamela Seijas, Pablo and Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14. pp. 169-180. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (Full text available)
[img]
Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang - Erlang '13. pp. 77-78. (Full text available)
[img]
Preview

Rodgers, Peter and Baker, Robert and Thompson, Simon and Li, Huiqing (2013) Multi-level Visualization of Concurrent and Distributed Computation in Erlang. In: Visual Languages and Computing (VLC) in The 19th International Conference on Distributed Multimedia Systems (DMS 2013), 8-10 August 2013, Brighton. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2012) Automated API migration in a user-extensible refactoring tool for Erlang programs. In: the 27th IEEE/ACM International Conference on Automated Software Engineering, September 2012, Essen, Germany. (Full text available)
[img]
Preview

Moraglio, Alberto and Otero, Fernando E.B. and Johnson, Colin G. and Thompson, Simon and Freitas, Alex A. (2012) Evolving Recursive Programs using Non-recursive Scaffolding. In: Proceedings of the 2012 IEEE World Congress on Computational Intelligence. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: The Fifth ACM Workshop on Refactoring Tools. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2012) A Domain-Specific Language for Scripting Refactorings in Erlang. In: 15th Fundamental Approaches to Software Engineering(FASE2012). (Full text available)
[img]
Preview

Arts, Thomas and Lamela Seijas, Pablo and Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Erlang Workshop 2011. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon and Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Proceedings of the Refactoring and Testing Workshop (RefTest 2011). (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2011) Incremental Code Clone Detection and Elimination for Erlang Programs. In: Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11). (Full text available)
[img]
Preview

Cesarini, Francesco and Thompson, Simon (2010) Erlang Behaviours: Programming With Process Design Patterns. In: Central European Functional Programming School, CEFP 2009. (Full text available)
[img]
Preview

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Erlang'10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2010) Improved Testing Through Refactoring: Experience from the ProTest project. In: Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010. (Full text available)
[img]
Preview

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Tenth IEEE International Working Conference on Source Code Analysis and Manipulation. (Full text available)
[img]
Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. (Full text available)
[img]
Preview

Brown, Christopher and Li, Huiqing and Thompson, Simon (2010) An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Eleventh Symposium on Trends in Functional Programming. (Full text available)
[img]
Preview

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2010) Similar Code Detection and Elimination for Erlang Programs. In: Practical Aspects of Declarative languages 2010. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Third International Workshop on Detection of Software Clones. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09). (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Proceedings of the Second ACM SIGPLAN Workshop on Refactoring Tools, Jan 07-08, 2008, San Francisco, CA,. (Full text available)
[img] [img]
Preview

Li, Huiqing and Thompson, Simon and Orosz, György and Töth, Melinda (2008) Refactoring with Wrangler, updated. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]

Li, Huiqing and Thompson, Simon and Orosz, George and Töth, Melinda (2008) Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. In: Proceedings of the Seventh ACM SIGPLAN Erlang Workshop, SEP 27, 2008, Victoria, Canada. (Full text available)
[img]
Preview

Delaney, Aidan and Taylor, John and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Sep 19-21, 2008, Herrsching, Germany. (Full text available)
[img]
Preview

Sultana, Nik and Thompson, Simon (2008) A Certified Refactoring Engine. In: Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP). (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2008) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Draft Proceedings of the Ninth Symposium on Trends in Functional Programming(TFP). (Full text available)
[img]
Preview

Laemmel, Ralf and Thompson, Simon and Kaiser, Markus (2008) Programming errors in traversal programs over structured data. In: 8th Workshop on Language Description, Tools and Applications. (Full text available)
[img]
Preview

Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: Workshop on Partial Evaluation and Program Manipulation, Jan 07-08, 2008, San Francisco, CA,. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Partial Evaluation and Program Manipulation, CA, Jan 07-08, 2008, San Francisco. (Full text available)
[img]
Preview

Brown, Christopher and Thompson, Simon (2007) Refactorings that Split and Merge Programs. In: Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, 27th-29th September 2007, Freiburg, Germany . (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2007) Testing Erlang Refactorings with QuickCheck. In: Lecture Notes In Computer Science archive. Lecture Notes In Computer Science , 5083. Springer, Freiburg, Germany pp. 19-36. ISBN 978-3-540-85372-5 . (Full text available)
[img]
Preview

Thompson, Simon and King, Peter and Schmitz, Patrick (2007) Declarative extensions of XML languages. In: King, Peter and Simske, Steven, eds. Proceedings of the 2007 ACM symposium on Document engineering. ACM Press pp. 89-91. ISBN 978-1-59593-776-6. (Full text available)
[img]
Preview
[img]
Preview

Li, Huiqing and Thompson, Simon and Lövei, László and Horváth, Zoltán and Kozsik, Tamás and Víg, Anikó and Nagy, Tamás (2006) Refactoring Erlang Programs. In: The Proceedings of 12th International Erlang/OTP User Conference. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2006) A Comparative Study of Refactoring Haskell and Erlang Programs. In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), Sep 27-29, 2006, Philadelphia, PA, . (Full text available)
[img]
Preview

Stapleton, Gem and Thompson, Simon and Fish, Andrew and Howse, John and Taylor, John (2005) A New Language for the Visualization of Logic and reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2005) Formalisation of Haskell Refactorings. In: van Eekelen, Marko and Hammond, Kevin, eds. Trends In Funtional Programming. ISBN 9781841501765. (Full text available)
[img]
Preview

Ryder, Chris and Thompson, Simon (2005) Software Metrics: Measuring Haskell. In: UNSPECIFIED. (Full text available)
[img]
Preview

Patrascoiu, Octavian and Thompson, Simon and Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)
[img]
Preview

Thompson, Simon (2004) Refactoring Functional Programs. In: Advanced Functional Programming: 5th International School, AFP 2004, August 14-21, 2004, Estonia. (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: Visual Languages and Human Centric Computing, 2004 IEEE Symposium on. IEEE pp. 90-98. ISBN 0-7803-8696-5. (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) What Can Spider Diagrams Say? In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic Representation and Inference. Lecture Notes in Computer Science, 2980. Springer pp. 179-186. ISBN 3-540-21268-X. (Full text available)
[img]
Preview

King, Peter and Schmitz, Patrick and Thompson, Simon (2004) Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation. In: Vion-Dury, Jean-Yves, ed. Document Engineering. ACM New York, NY, USA pp. 57-66. ISBN 1-58113-938-1. (Full text available)
[img]
Preview

Li, Huiqing and Reinke, Claus and Thompson, Simon (2003) Tool Support for Refactoring Functional Programs. In: ACM SIGPLAN 2003 Haskell Workshop. (Full text available)
[img]
Preview

Thompson, Simon and Reinke, Claus (2003) A Case Study in Refactoring Functional Programs. In: VII Brazilian Symposium on Programming Languages, May 2003. (Full text available)
[img]
Preview

Schmitz, Patrick and Thompson, Simon and King, Peter (2003) Presentation Dynamism in XML. In: UNSPECIFIED, 20-24 May 2003, Budapest, Hungary. (The full text of this publication is not available from this repository)

Hanus, Michael and Krishnamurthy, Shriram and Thompson, Simon (2002) Functional and Declarative Programming in Education 2002. In: Functional and Declarative Programming in Education (FDPE02), Monday 7 October 2002 , Pittsburgh, PA, USA. (The full text of this publication is not available from this repository)

Thompson, Simon (2001) Logic and Dependent Types in the Aldor Computer Algebra System. In: Symbolic Computation and Automated Reasoning, Aug 06-07, 2000, St Andrews, Scotland. (The full text of this publication is not available from this repository)

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), MAR 22-24, 2000 , Nancy, France. (Full text available)
[img]
Preview

Bowman, Howard and Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes In Computer Science, 1397 (1397). Springer-Verlag pp. 108-123. ISBN 3-540-64406-7. (Full text available)
[img] [img]
Preview

Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Proceedings of the 7th International Conference on Electronic Publishing, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography: Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes In Computer Science, 1357. Springer pp. 355-369. ISBN 3-540-64298-6 . (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1997) em Where do I begin? A problem solving approach to teaching functional programming. In: First International Conference on Declarative Programming Languages in Education. (Full text available)
[img] [img]
Preview

Barnes, David J. and Fincher, Sally and Thompson, Simon (1997) Introductory Problem Solving in Computer Science. In: 5th Annual Conference on the Teaching of Computing. (Full text available)
[img] [img]
Preview

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. (Full text available)
[img] [img]
Preview

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. Advances in temporal logic. Applied Logic. Kluwer pp. 377-390. (Full text available)
[img]
Preview
[img]
Preview

Hill, Steve and Thompson, Simon (1995) Miranda in Isabelle. In: Preceedings of the first Isabelle Users Workshop. (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon and Hill, Steve (1995) Functional programming through the curriculum. In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands. (Full text available)
[img]
Preview
[img]
Preview

Thompson, Simon (1992) Are subsets necessary in Martin-Lof type theory? In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Book

Thompson, Simon (2011) Haskell: the craft of functional programming. Addison-Wesley ISBN 978-0-201-88295-7. (The full text of this publication is not available from this repository)

Cesarini, Francesco and Thompson, Simon (2009) Erlang Programming. O'Reilly, 494 pp. ISBN 0-596-51818-8. (The full text of this publication is not available from this repository)

Thompson, Simon (1999) Haskell: the Craft of Functional Programming. International Computer Science Series . Addison-Wesley, Harlow, UK ISBN 0-201-34275-8. (The full text of this publication is not available from this repository)

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. Springer-Verlag Berlin ISBN 3-540-64406-7. (The full text of this publication is not available from this repository)

Thompson, Simon (1996) Haskell: The Craft of Functional Programming. Addison Wesley ISBN 0-201-40357-9. (The full text of this publication is not available from this repository)

Thompson, Simon (1995) Miranda: The Craft of Functional Programming. Addison Wesley ISBN 0-201-42279-4. (The full text of this publication is not available from this repository)

Thompson, Simon (1991) Type Theory and Functional Programming. Addison Wesley ISBN 0-201-41667-0. (Full text available)
[img]
Preview

Other

Cesarini, Francesco and Thompson, Simon (2011) Erlang by Example. UNSPECIFIED. (The full text of this publication is not available from this repository)

This list was generated on Tue Sep 2 10:43:57 2014 BST.