Skip to main content

Items where Author, Editor or other role is "Thompson, S."

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | F | G | H | K | L | M | O | P | R | S | T
Number of items: 148.

A

Adams, Stephen (2017) Data-Driven Refactorings for Haskell. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69589)
[thumbnail of 27sadamsThesisFinal.pdf]
Preview

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press (KAR id:30725)
[thumbnail of erlang02-arts.pdf]
Preview

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863511) (KAR id:30626)
[thumbnail of erlang06d-thompson.pdf]
Preview

B

Bereczky, Péter, Horpácsi, Dániel, K?szegi, Judit, Szeier, Soma, Thompson, Simon (2021) Validating Formal Semantics by Property-Based Cross-Testing. In: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (IFL ’20),. . pp. 150-161. ACM, New York, NY, USA ISBN 978-1-4503-8963-1. (doi:10.1145/3462172.3462200) (KAR id:89480)
[thumbnail of PUBLISHED.pdf]
Preview

Bereczky, Péter and Horpácsi, Dániel and Thompson, Simon (2020) Machine-checked natural semantics for Core Erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang. ACM, pp. 1-13. ISBN 978-1-4503-8049-2. (doi:10.1145/3406085.3409008) (KAR id:82515)
[thumbnail of EW2020 final.pdf]
Preview

Bereczky, Péter and Thompson, Simon and Horpacsi, Daniel (2020) A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. In: Byrski, Aleksander and Hughes, John, eds. Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers. Lecture Notes in Computer Science, 12222 . Springer, Cham, pp. 139-158. ISBN 978-3-030-57761-2. (doi:10.1007/978-3-030-57761-2_7) (KAR id:82503)
[thumbnail of core_erlang_paper.pdf]
Preview

Baker, Robert (2017) A Method for Graph Drawing Utilising Patterns. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63895)
[thumbnail of 252thesis.pdf]
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. In: Trends in Functional Programming 13th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 263-278. ISBN 978-3-642-40446-7. E-ISBN 978-3-642-40447-4. (doi:10.1007/978-3-642-40447-4_17) (KAR id:42314)
[thumbnail of release-tfp12.pdf]
Preview

Brown, Christopher, Li, Huiqing, Thompson, Simon (2010) An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Page, Rex, ed. Eleventh Symposium on Trends in Functional Programming. . pp. 182-196. (KAR id:30667)
[thumbnail of hare.pdf]
Preview

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: Gallagher, John and Voigtlander, Janis, eds. PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-727-1. (doi:10.1145/1706356.1706378) (KAR id:30696)
[thumbnail of PEPM10.pdf]
Preview

Brown, Christopher, 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. . , Freiburg, Germany. (KAR id:14544)
[thumbnail of Refactorings_that_Split.pdf]
Preview

Bowman, Howard, 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13995)

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856. (doi:10.1023/A:1021736013555) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14016)

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (KAR id:22055)
[thumbnail of A_Complete_Axiomatization_of_Interval_Temporal_Logic_with_Projection.ps]
Preview

Bowman, Howard, Thompson, Simon (1998) A Tableau Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, 05-08 May 1998, Oisterwijk, Netherlands. (KAR id:21654)
[thumbnail of zip] [thumbnail of root.ps]
Preview

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. In: deSwart, H., ed. Automated Reasoning with Analytic Tableaux and Related Methods International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 108-123. ISBN 978-3-540-64406-4. E-ISBN 978-3-540-69778-7. (doi:10.1007/3-540-69778-0_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17603)

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (KAR id:21432)
[thumbnail of A_Tableau_Method_for_Interval_Temporal_Logic.ps]
Preview
[thumbnail of A_Tableau_Method_for_Interval_Temporal_Logic.pdf]
Preview

Barnes, David J., Fincher, Sally, Thompson, Simon (1997) Introductory Problem Solving in Computer Science. In: Daughton, Goretti and Magee, Patricia, eds. 5th Annual Conference on the Teaching of Computing. . pp. 36-39. , Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland (KAR id:21468)
[thumbnail of Introductory_Problem_Solving_in_Computer_Science.doc] [thumbnail of Introductory_Problem_Solving_in_Computer_Science.pdf]
Preview

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series . Kluwer (KAR id:21471)
[thumbnail of zip] [thumbnail of Specification_and_Prototyping_of_Structured_Multimedia_Documents_using_Interval_Temporal_Logic.pdf]
Preview

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (KAR id:21503)
[thumbnail of Mexitl_Multimedia_in_Executable_Interval_Temporal_Logic.ps]
Preview
[thumbnail of Mexitl_Multimedia_in_Executable_Interval_Temporal_Logic.pdf]
Preview

C

Chechina, Natalia, MacKenzie, Kenneth, Thompson, Simon, Trinder, Phil, Boudeville, Olivier, Fordos, Viktoria, Hoch, csaba, Ghaffari, Amir, Moro Hernandez, Mario (2017) Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Transactions on Parallel and Distributed Systems, 28 (8). pp. 2244-2257. ISSN 1045-9219. (doi:10.1109/TPDS.2017.2654246) (KAR id:60077)
[thumbnail of Evaluating Scalable Distributed Erlang for Scalability and Reliability]
Preview

Chechina, Natalia, Li, Huiqing, Ghaffari, Amir, Thompson, Simon, Trinder, Phil (2016) Improving the network scalability of Erlang. Journal of Parallel and Distributed Computing, 90-91 . pp. 22-34. ISSN 0743-7315. (doi:10.1016/j.jpdc.2016.01.002) (KAR id:54099)
[thumbnail of SD-Erlang published.pdf]
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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30716)

Cesarini, Francesco and Thompson, Simon (2011) Erlang by Example. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30718)

Cesarini, Francesco, Thompson, Simon (2010) Erlang Behaviours: Programming With Process Design Patterns. In: Horváth, Zoltán and Plasmeijer, Rinus and Zóka, Vikória, eds. Central European Functional Programming School, CEFP 2009. Lecture Notes in Computer Science , 6299. pp. 182-196. Springer (KAR id:30616)
[thumbnail of CEFP.pdf]
Preview

Cesarini, Francesco, Thompson, Simon (2009) Erlang Programming. O'Reilly, 494 pp. ISBN 0-596-51818-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24114)

Cameron, Helen, King, Peter, Thompson, Simon (2003) Modelling Reactive Multimedia: Events and Behaviours. Multimedia Tools and Applications, 19 (1). pp. 53-77. ISSN 1380-7501. (doi:10.1023/A:1021168913400) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14020)

Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Electronic Publishing, Artistic Imaging, and Digital Typography 7th International Conference on Electronic Publishing. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 355-369. ISBN 978-3-540-64298-5. E-ISBN 978-3-540-69718-3. (doi:10.1007/BFb0053283) (KAR id:21653)
[thumbnail of Synchronization_in_Multimedia_Documents.ps]
Preview
[thumbnail of Synchronization_in_Multimedia_Documents.pdf]
Preview

Charles, Nathan, Bowman, Howard, Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:10.1016/S0920-5489(97)00005-6) (KAR id:21506)
[thumbnail of From_ACT-ONE_to_Miranda.ps]
Preview
[thumbnail of 21506.pdf]
Preview

D

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2014) A normal form for spider diagrams of order. Journal of Visual Languages and Computing, 25 (6). pp. 935-944. ISSN 1045-926X. (doi:10.1016/j.jvlc.2014.10.029) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44539)

Drienyovszky, Dániel and Horpacsi, Dániel and Thompson, Simon (2010) Quickchecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863521) (KAR id:30636)
[thumbnail of content.pdf]
Preview

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Goel, Ashok K. and Jamnik, Mateja and Narayanan, N. Hari, eds. Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. Lecture Notes in Computer Science , 6170. pp. 182-196. Springer (doi:10.1007/978-3-642-14600-8) (KAR id:30645)
[thumbnail of content.pdf]
Preview

Delaney, Aidan and Taylor, John and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Stapleton, Gem and Howse, John and Lee, John, eds. Diagrammatic Representation and Inference 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 172-187. ISBN 978-3-540-87729-5. E-ISBN 978-3-540-87730-1. (doi:10.1007/978-3-540-87730-1_18) (KAR id:24010)
[thumbnail of SpiderThompson.pdf]
Preview

F

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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21792)

G

Gaspar, Jaime (2019) Transformation of cryptographic primitives: provable security and proof presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:78724)
[thumbnail of 58Transformation of cryptographic primitives - provable security and proof prese.pdf]
Preview

Griffin, Darren K., Mitchell, David, 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. (doi:10.1016/j.compedu.2009.03.011) (KAR id:24111)
[thumbnail of PodcastingGriffin.pdf]
Preview

H

Harrison, Joseph Richard (2020) Robust Communications in Erlang. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.87484) (KAR id:87484)
[thumbnail of 160Robust_Communications_in_Erlang_by_Joseph_Richard_Harrison.pdf]
Preview

Howse, John and Bosworth, Richard and Fish, Andrew and Stapleton, Gem and Taylor, John and Rodgers, Peter and Thompson, Simon (2006) Euler diagram-based notations. N/A. (Unpublished) (KAR id:65293)
[thumbnail of edbn.pdf]
Preview

Hanus, Michael, Krishnamurthy, Shriram, Thompson, Simon (2002) Functional and Declarative Programming in Education 2002. In: Functional and Declarative Programming in Education (FDPE 2002). 0210. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13719)

Hill, Steve, Thompson, Simon (1995) Miranda in Isabelle. In: Paulson, Lawrence C., ed. Preceedings of the first Isabelle Users Workshop. University Of Cambridge Computer Laboratory Technical Reports Series (397). pp. 122-135. (KAR id:21247)
[thumbnail of miraIsab.pdf]
Preview
[thumbnail of miraIsab.ps]
Preview

K

Kondratiuk, Dmytro, Seijas, Pablo Lamela, Nemish, Alexander, Thompson, Simon (2021) Standardized Crypto-Loans on the Cardano Blockchain. FC 2021: Financial Cryptography and Data Security. FC 2021 International Workshops, 12676 . pp. 579-594. ISSN 0302-9743. (doi:10.1007/978-3-662-63958-0_41) (KAR id:90252)
[thumbnail of article.pdf]
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. Proceedings of the 2004 ACM symposium on Document engineering. ACM, New York, USA, pp. 57-66. ISBN 1-58113-938-1. (doi:10.1145/1030397.1030411) (KAR id:14210)
[thumbnail of Behavioral_Reactivity_and_Real_Time_Programming_in_XML.pdf]
Preview

L

Lamela Seijas, Pablo and Smith, David and Thompson, Simon (2020) Efficient Static Analysis of Marlowe Contracts. In: Margaria, Tiziana and Steffen, Bernhard, eds. ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Applications. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 161-177. ISBN 978-3-030-61466-9. E-ISBN 978-3-030-61467-6. (doi:10.1007/978-3-030-61467-6_11) (KAR id:83710)
[thumbnail of paper.pdf]
Preview

Lamela Seijas, Pablo and Nemish, Alexander and Smith, David and Thompson, Simon (2020) Marlowe: Implementing and Analysing Financial Contracts on Blockchain. In: Bernhard, Matthew and Bracciali, Andrea and Camp, L. Jean and Matsuo, Shin'ichiro and Maurushat, Alana and Rønne, Peter B. and Sala, Massimiliano, eds. Financial Cryptography and Data Security. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 496-511. ISBN 978-3-030-54454-6. E-ISBN 978-3-030-54455-3. (doi:10.1007/978-3-030-54455-3_35) (KAR id:82483)
[thumbnail of LamelaSeijas2020_Chapter_MarloweImplementingAndAnalysin.pdf]
Preview
[thumbnail of 10.1007%2F978-3-030-54455-3_35]

Lamela Seijas, Pablo (2017) Model construction, evolution, and use in testing of software systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69474)
[thumbnail of 261thesis.pdf]
Preview

Lamela Seijas, Pablo and Thompson, Simon (2016) Identifying and introducing interfaces and callbacks using Wrangler. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:64632)
[thumbnail of full_paper.pdf]

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 103-113. ISBN 978-1-4503-3297-2. (doi:10.1145/2678015.2682533) (KAR id:46579)
[thumbnail of pepm03-thompsonA.pdf]
Preview

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) (KAR id:42784)
[thumbnail of synapse.pdf]
Preview

Li, Huiqing, 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. . pp. 50-56. (doi:10.1145/2593501.2593509) (KAR id:42307)
[thumbnail of icsews14astm-final.pdf]
Preview

Li, Huiqing, Thompson, Simon, Lamela Seijas, Pablo, Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13). . pp. 169-180. (doi:10.1145/2543728.2543741) (KAR id:42309)
[thumbnail of ws_testing.pdf]
Preview

Li, Huiqing, Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (doi:2505305.2505311) (KAR id:34875)
[thumbnail of percept2.pdf]
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. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 77-78. ISBN 978-1-4503-2385-7. (doi:10.1145/2505305.2505317) (KAR id:42310)
[thumbnail of srtest.pdf]
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) (KAR id:34865)
[thumbnail of Full paper to accompany poster in Erlang Workshop 2013 proceedings.]
Preview

Li, Huiqing, 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. (KAR id:30924)
[thumbnail of wrangler_api.pdf]
Preview

Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: Sommerlad, Peter, ed. Proceedings of the Fifth Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 32-39. ISBN 978-1-4503-1500-5. (doi:10.1145/2328876.2328881) (KAR id:30807)
[thumbnail of wrt12.pdf]
Preview

Li, Huiqing, Thompson, Simon (2012) A Domain-Specific Language for Scripting Refactorings in Erlang. In: de Lara, Juan and Zisman, Andrea, eds. 15th Fundamental Approaches to Software Engineering(FASE2012). . 15pp. Lecture Notes in Computer Science. Springer, Tallinn, Estonia (KAR id:30822)
[thumbnail of wrangler_dsl.pdf]
Preview

Li, Huiqing and Thompson, Simon (2011) A Domain-Specific Language for Scripting Refactorings in Erlang. Technical report. (KAR id:30722)
[thumbnail of content.pdf]
Preview

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report. (KAR id:30720)
[thumbnail of content.pdf]
Preview

Li, Huiqing, Thompson, Simon, Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Counsell, Steve, ed. Proceedings of the Refactoring and Testing Workshop (RefTest 2011). . pp. 182-196. IEEE digital library (KAR id:30767)
[thumbnail of content.pdf]
Preview

Li, Huiqing, Thompson, Simon (2011) Incremental Code Clone Detection and Elimination for Erlang Programs. In: Giannakopoulou, Dimitra and Orejas, Fernando, eds. Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11). Lecture Notes in Computer Science . pp. 182-196. Springer (KAR id:30770)
[thumbnail of fase.pdf]
Preview

Li, Huiqing and Thompson, Simon (2010) Improved Testing Through Refactoring: Experience from the ProTest project. In: Bottaci, Leonardo and Fraser, Gordon, eds. Testing – Practice and Research Techniques 5th International Academic and Industrial Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-15584-0. E-ISBN 978-3-642-15585-7. (doi:10.1007/978-3-642-15585-7_21) (KAR id:30628)
[thumbnail of PublicationProof.pdf]
Preview

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Vunju, Jurgen and Marinescu, Cristina, eds. 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation. IEEE, pp. 182-196. ISBN 978-1-4244-8655-7. (doi:10.1109/SCAM.2010.17) (KAR id:30627)
[thumbnail of scam2010.pdf]
Preview

Li, Huiqing and Thompson, Simon (2010) Similar Code Detection and Elimination for Erlang Programs. In: Carro, Manuel and Pena, Ricardo, eds. Practical Aspects of Declarative Languages 12th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:10.1007/978-3-642-11503-5_10) (KAR id:30703)
[thumbnail of PADL10.pdf]
Preview

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report. (KAR id:30576)
[thumbnail of content.pdf]
Preview

Li, Huiqing, Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools. . pp. 182-196. , Orlando, Florida (KAR id:30587)
[thumbnail of WRT2009.pdf]
Preview

Li, Huiqing, Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Penta, Massimiliano Di and Knodel, Jens, eds. Third International Workshop on Detection of Software Clones. . 1pp. , Kaiserslautern, Germany (KAR id:24078)
[thumbnail of CloneThompson.pdf]
Preview

Li, Huiqing, 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). . , Savannah, Georgia, USA (KAR id:24061)
[thumbnail of CloneThompson.pdf]
Preview

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Dig, Danny and Fuhrer, Robert and Johnson, Ralph, eds. WRT '08 Proceedings of the 2nd Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA. ISBN 978-1-59593-977-7. (doi:10.1145/1636642.1636644) (KAR id:24037)
[thumbnail of ToolSupport1.gz] [thumbnail of WRT08.pdf]
Preview

Li, Huiqing and Thompson, Simon and Orosz, György and Tóth, Melinda (2008) Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. In: Horváth, Zoltán and Teoh, Tee, eds. ERLANG '08 Proceedings of the 7th ACM SIGPLAN workshop on ERLANG. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 61-72. ISBN 978-1-60558-065-4. (doi:10.1145/1411273.1411283) (KAR id:24013)
[thumbnail of REclipseJohnson.pdf]
Preview

Li, Huiqing, Thompson, Simon, Orosz, György, Töth, Melinda (2008) Refactoring with Wrangler, updated. In: UNSPECIFIED. (KAR id:24012)
[thumbnail of Refactoring.pdf]
Preview
[thumbnail of Refactoring.gz]

Li, Huiqing, Thompson, Simon (2008) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming(TFP). . , The Netherlands (KAR id:23986)
[thumbnail of CloneDetectionAndRemoval.pdf]
Preview

Laemmel, Ralf, Thompson, Simon, Kaiser, Markus (2008) Programming errors in traversal programs over structured data. In: Vinju, Jurgen and Johnstone, Adrian, eds. 8th Workshop on Language Description, Tools and Applications. ENTCS . Springer (doi:10.1016/j.entcs.2009.09.045) (KAR id:23961)
[thumbnail of content.pdf]
Preview

Li, Huiqing and Thompson, Simon (2007) Testing Erlang Refactorings with QuickCheck. In: Lecture Notes In Computer Science archive. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 19-36. ISBN 978-3-540-85372-5. E-ISBN 978-3-540-85373-2. (doi:10.1007/978-3-540-85373-2_2) (KAR id:14543)
[thumbnail of TestingErlangRefactoringsWithQuickCheck.pdf]
Preview

Li, Huiqing, Thompson, Simon, Lövei, László, Horváth, Zoltán, Kozsik, Tamás, Víg, Anikó, Nagy, Tamás (2006) Refactoring Erlang Programs. In: The Proceedings of 12th International Erlang/OTP User Conference. . , Stockholm, Sweden (KAR id:14394)
[thumbnail of Refactoring_Erlang_Programs.pdf]
Preview

Li, Huiqing and Thompson, Simon (2006) A Comparative Study of Refactoring Haskell and Erlang Programs. In: Penta, Massimiliano Di and Moonen, Leon, eds. Sixth IEEE International Workshop on Source Code Analysis and Manipulation. International Workshop on Source Code Analysis and Manipulation . IEEE, pp. 197-206. ISBN 0-7695-2353-6. (doi:10.1109/SCAM.2006.8) (KAR id:14424)
[thumbnail of A_Comparative_Study_of_Refactoring_Haskell_and_Erlang_Programs.pdf]
Preview

Li, Huiqing, Thompson, Simon, Reinke, Claus (2005) The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science, 141 (4). pp. 29-34. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.02.053) (KAR id:14338)
[thumbnail of HaRe.pdf]
Preview

Li, Huiqing and Thompson, Simon (2005) Formalisation of Haskell Refactorings. In: van Eekelen, Marko and Hammond, Kevin, eds. Trends In Funtional Programming. Trends in Functional Programming . Intellect Books, Bristol, UK. ISBN 978-1-84150-176-5. (KAR id:14266)
[thumbnail of FormalisationOfRefactorings.pdf]
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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14111)

Li, Huiqing and Thompson, Simon (2003) Tool Support for Refactoring Functional Programs. In: Jeuring, Johan, ed. Proceedings of the 2nd Workshop on Refactoring Tools. ACM, pp. 27-38. ISBN 1-58113-758-3. (doi:10.1145/1636642.1636644) (KAR id:13934)
[thumbnail of tool-support-for-rfp.pdf]
Preview

Lins, Rafael D., Thompson, Simon, Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:10.1017/S0956796800000939) (KAR id:21166)
[thumbnail of TIMLins.pdf]
Preview
[thumbnail of TIMLins.ps]
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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20976)

M

Moraglio, Alberto, Otero, Fernando E.B., Johnson, Colin G., Thompson, Simon, Freitas, Alex A. (2012) Evolving Recursive Programs using Non-recursive Scaffolding. In: Proceedings of the 2012 IEEE World Congress on Computational Intelligence. . pp. 1596-1603. (KAR id:30810)
[thumbnail of content.pdf]
Preview

O

Otero, Fernando E.B., Johnson, Colin G., Freitas, Alex A., Thompson, Simon (2010) Refactoring in Automatically Generated Programs. In: 2nd International Symposium on Search Based Software Engineering, 7-9th September 2010, Benevento, Italy. (KAR id:71014)
[thumbnail of http___www.ssbse.org_2010_fastabstracts_ssbse2010_fastabstract_01.pdf]
Preview

P

Patrascoiu, Octavian, Thompson, Simon, Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. . pp. 279-286. Knowledge Systems Institute ISBN 1-891706-17-9. (KAR id:14260)
[thumbnail of TablueauThomp.pdf]
Preview

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Kirchner, Hélène and Ringeissen, Christophe, eds. Frontiers of Combining Systems Third International Workshop. Lecture Notes in Computer Science, 1794 . Springer, Berlin, Germany, pp. 136-150. ISBN 978-3-540-67281-4. E-ISBN 978-3-540-46421-1. (doi:10.1007/10720084_10) (KAR id:22041)
[thumbnail of Integrating_Computer_Algebra_and_Reasoning_through_the_Type_System_of_Aldor.pdf]
Preview

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK (KAR id:21800)
[thumbnail of the_type_system_of_aldor_poll.pdf]
Preview
[thumbnail of the_type_system_of_aldor_poll.ps]
Preview

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University (KAR id:21662)
[thumbnail of Adding_the_axioms_to_Axiom_Towards_a_system_of_automated_reasoning_in_Aldor.ps]
Preview
[thumbnail of Adding_the_axioms_to_Axiom_Towards_a_system_of_automated_reasoning_in_Aldor.pdf]
Preview

R

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526)
[thumbnail of paper (1).pdf]
Preview

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) ROTOR : A Tool for Renaming Values in OCaml's Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR). . pp. 27-30. IEEE Press ISBN 978-1-72812-271-7. E-ISBN 978-1-72812-270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:80338)
[thumbnail of rotor_iwor2019.pdf]
Preview

Rodgers, Peter, Stapleton, Gem, Alsallakh, Bilal, Micallef, Luana, Baker, Robert, Thompson, Simon (2016) A Task-Based Evaluation of Combined Set and Network Visualization. Information Sciences, 367–8 . pp. 58-79. ISSN 0020-0255. (doi:10.1016/j.ins.2016.05.045) (KAR id:55733)
[thumbnail of SetNetPostPrint.pdf]
Preview
[thumbnail of SetNetPostPrint.pdf]

Rodgers, Peter, Baker, Robert, Thompson, Simon, Li, Huiqing (2013) Multi-level Visualization of Concurrent and Distributed Computation in Erlang. In: Proceedings of 19th International Conference on Distributed Multimedia Systems 2013. . Knowledge Systems Institute (KAR id:34968)
[thumbnail of concurrentDistributedErlang.pdf]
Preview

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2009) ROTOR: A Tool for Renaming Values in OCaml’s Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring. . IEEE ISBN 978-1-72812-270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:74129)
[thumbnail of paperxcv.pdf]
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 (KAR id:14237)
[thumbnail of Tech_Chris.pdf]
Preview

Ryder, Chris and Thompson, Simon (2005) Software Metrics: Measuring Haskell. In: van Eekelen, Marko, ed. Trends in Functional Programming. Trends in Functional Programming . Intellect Books, Bristol, UK. ISBN 978-1-84150-176-5. (KAR id:14265)
[thumbnail of tfp-2005-paperFinal.pdf]
Preview

Ryder, Chris and Thompson, Simon (1999) Aldor meets Haskell. Technical report. Computing Laboratory, University of Kent (KAR id:21762)
[thumbnail of aldor_meets_haskell_ryder.pdf]
Preview
[thumbnail of aldor_meets_haskell_ryder.ps]
Preview

S

Seijas, Pablo Lamela, Thompson, Simon, Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, 26 . pp. 1519-1552. ISSN 0963-9314. E-ISSN 1573-1367. (doi:10.1007/s11219-017-9399-x) (KAR id:66343)
[thumbnail of Model extraction and test generation from JUnit test suites.pdf]
Preview
[thumbnail of paper.pdf]

Smith, Connor Lane (2017) Optimal Sharing Graphs for Substructural Higher-order Rewriting Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63884)
[thumbnail of 249thesis.pdf]
Preview

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2016) Model extraction and test generation from JUnit test suites. In: Proceedings of the 11th International Workshop on Automation of Software Test. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 8-14. ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927) (KAR id:55751)
[thumbnail of p8-seijas.pdf]
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. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhauser, pp. 101-133. ISBN 978-3-0348-0599-5. E-ISBN 978-3-0348-0600-8. (doi:10.1007/978-3-0348-0600-8_7) (KAR id:42317)
[thumbnail of paper.pdf]
Preview

Stapleton, Gem, Taylor, John, Thompson, Simon, Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (doi:10.1016/j.jvlc.2008.01.005) (KAR id:23977)
[thumbnail of expressiveness.pdf]
Preview

Sultana, Nik, Thompson, Simon (2008) A Certified Refactoring Engine. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP). . (KAR id:23987)
[thumbnail of CertifiedThompson.pdf]
Preview

Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 51-60. ISBN 978-1-59593-977-7. (doi:10.1145/1328408.1328417) (KAR id:23959)
[thumbnail of MechThompson.pdf]
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: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. Knowledge Systems Institute, pp. 287-292. ISBN 1-891706-17-9. (KAR id:14261)
[thumbnail of NewAndrew.pdf]
Preview

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:10.1093/logcom/14.6.857) (KAR id:14057)
[thumbnail of 04-14-Stapleton.pdf]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: 2004 IEEE Symposium on Visual Languages - Human Centric Computing. IEEE, pp. 90-98. ISBN 0-7803-8696-5. (doi:10.1109/VLHCC.2004.57) (KAR id:14077)
[thumbnail of The_expressiveness_of_spider_diagrams_augmented.pdf]
Preview

Stapleton, Gem, Howse, John, Taylor, John, 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. pp. 179-186. Springer ISBN 3-540-21268-X. (doi:10.1007/978-3-540-25931-2_12) (KAR id:14197)
[thumbnail of content.pdf]
Preview

Schmitz, Patrick, Thompson, Simon, King, Peter (2003) Presentation Dynamism in XML. In: Twelfth International World Wide Web Conference. . W3C, Budapest, Hungary (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13980)

T

Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Lecture Notes in Computer Science . Springer-Verlag Berlin, Switzerland. ISBN 978-3-030-03427-6. (doi:10.1007/978-3-030-03427-6_27) (KAR id:69846)
[thumbnail of paper X.pdf]
Preview
[thumbnail of paper XXX.pdf]

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:10.4204/EPTCS.270) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67028)

Thompson, Simon, Li, Huiqing, Baker, Robert, Adams, Stephen, Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Aronis, Stavros, Bihari, Eva, and others. (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). Article Number 17. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937) (KAR id:63197)
[thumbnail of release-summary-arxiv-1.pdf]
Preview

Thompson, Simon, Li, Huiqing, Schumacher, Andreas (2017) The pragmatics of clone detection and elimination. The Art, Science, and Engineering of Programming, 1 (2). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/8) (KAR id:61167)
[thumbnail of 1703.10860.pdf]
Preview

Thompson, Simon (2017) A General Method for Defining Objects by Recursion over Syntax. Journal of Universal Computer Science, 23 (1). pp. 89-111. ISSN 0948-695X. E-ISSN 0948-6968. (KAR id:60845)
[thumbnail of jucs_23_01_0089_0111_thompson.pdf]
Preview

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (KAR id:61162)
[thumbnail of 1156.pdf]
Preview

Thompson, Simon, Horpacsi, Daniel, Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). 216. pp. 83-103. (doi:10.4204/EPTCS.216.5) (KAR id:56750)
[thumbnail of paper.cgi_VPT2016.5.pdf]
Preview

Thompson, Simon, Runciman, Colin (2015) Demur: checking functional-program properties using bounded recursion. In: Sixth Workshop on Tools for Automatic Program Analysis, 08 Sep 2015, Saint-Malo, France. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:50496)
[thumbnail of TAPAS_2015_submission_1.pdf]

Thompson, Simon, Delaney, Aidan, Stapleton, Gem, Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (KAR id:42350)
[thumbnail of JVLCpaper.pdf]
Preview

Thompson, Simon (2014) How to stand out digitally. In: Jolly, Adam, ed. The Growing Business Handbook. Kogan Page, pp. 129-131. ISBN 978-0-7494-7037-1. E-ISBN 978-0-7494-7038-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42881)

Thompson, Simon, Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (doi:10.1017/S0956796813000117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42312)

Thompson, Simon, Laemmel, Ralf, Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming, . ISSN 0167-6423. (doi:10.1016/j.scico.2011.11.006) (KAR id:31505)
[thumbnail of 1-s2.0-S0167642311002061-main.pdf]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30749)

Thompson, Simon and King, Peter R. and Schmitz, Patrick (2007) Declarative extensions of XML languages. In: King, Peter and Simske, Steven, eds. DocEng '07 Proceedings of the 2007 ACM symposium on Document engineering. ACM, New York, USA, pp. 89-91. ISBN 978-1-59593-776-6. (doi:10.1145/1284420.1284442) (KAR id:14554)
[thumbnail of Declarative_Extensions.pdf]
Preview

Thompson, Simon and King, Peter (2007) Declarative Extensions of XML Languages. Technical report. University of Kent, Canterbury, Kent (KAR id:14588)
[thumbnail of Declarative.pdf]
Preview

Thompson, Simon, King, Peter, Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (doi:10.1007/s11042-005-2713-9) (KAR id:42672)
[thumbnail of paperMAY2002.pdf]
Preview

Thompson, Simon (2004) Refactoring Functional Programs. In: Vene, Varmo and Uustalu, Tarmo, eds. Advanced Functional Programming 5th International School. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 331-357. ISBN 978-3-540-28540-3. E-ISBN 978-3-540-31872-9. (doi:10.1007/11546382_9) (KAR id:14267)
[thumbnail of notes.pdf]
Preview

Thompson, Simon and Reinke, Claus (2003) A Case Study in Refactoring Functional Programs. In: Ierusalimschy, Roberto and Figueiredo, Lucilia and Valente, Marcio Tulio, eds. Proceedings of the 7th Brazilian Symposium on Programming Languages. Springer, pp. 1-16. ISBN 85-88442-45-0. (KAR id:13978)
[thumbnail of content.pdf]
Preview

Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (KAR id:13540)
[thumbnail of refactoring_functional_programs_thompson.pdf]
Preview

Thompson, Simon (2001) Logic and Dependent Types in the Aldor Computer Algebra System. In: Kerber, Manfred and Kohlhase, Michael, eds. Symbolic Computation and Automated Reasoning. . pp. 205-219. A K Peters ISBN 1-56881-145-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13642)

Thompson, Simon (2000) Regular Expressions and Automata using Haskell. Technical report. University of Kent (KAR id:22057)
[thumbnail of Regular_Expressions_and_Automata_using_Haskell.ps]
Preview
[thumbnail of Regular_Expressions_and_Automata_using_Haskell.pdf]
Preview

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. (KAR id:21751)
[thumbnail of proof.pdf]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21856)

Thompson, Simon (1998) A Functional Reactive Animation of a Lift using Fran. Technical report. Cambridge University Press (KAR id:21663)
[thumbnail of A_Functional_Reactive_Animation_of_a_Lift_using_Fran.pdf]
Preview
[thumbnail of A_Functional_Reactive_Animation_of_a_Lift_using_Fran.ps]
Preview

Thompson, Simon (1997) em Where do I begin? A problem solving approach to teaching functional programming. In: Apt, Krzysztof and Hartel, Pieter H. and Klint, Paul, eds. First International Conference on Declarative Programming Languages in Education. . Springer-Verlag (KAR id:21459)
[thumbnail of zip] [thumbnail of ProbSolvInHas.pdf]
Preview

Thompson, Simon (1997) Higher-order + Polymorphic = Reusable. Other. University of Kent (Unpublished) (KAR id:21504)
[thumbnail of zip] [thumbnail of Higher-order_+_Polymorphic_=_Reusable]

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. International Conference on Temporal Logic. Applied Logic . pp. 377-390. Kluwer (KAR id:21553)
[thumbnail of Constructive_interval_temporal_logic_in_Alf.ps]
Preview
[thumbnail of 21553.pdf]
Preview

Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21326)
[thumbnail of AbstractTelford.pdf]
Preview
[thumbnail of AbstractTelford.ps]
Preview

Thompson, Simon (1996) Haskell: The Craft of Functional Programming. Addison Wesley ISBN 0-201-40357-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21362)

Thompson, Simon (1995) Miranda: The Craft of Functional Programming. Addison Wesley ISBN 0-201-42279-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21252)

Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21257)
[thumbnail of MirindaThompson.pdf]
Preview
[thumbnail of MirindaThompson.ps]
Preview

Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished) (KAR id:21260)
[thumbnail of RegularThompson.pdf]
Preview
[thumbnail of RegularThompson.ps]
Preview

Thompson, Simon (1995) A Logic for Miranda, Revisited. Formal Aspects of Computing, (7). (KAR id:21271)
[thumbnail of LogicThompson.pdf]
Preview
[thumbnail of LogicThompson.ps]
Preview

Thompson, Simon and Hill, Steve (1995) Functional programming through the curriculum. In: Hartel, Pieter H. and Plasmeijer, Rinus, eds. Funtional Programming Languages in Education First International Symposium. Lecture Notes in Computer Science . Springer, Berlin Germany, pp. 85-102. ISBN 978-3-540-60675-8. E-ISBN 978-3-540-49252-8. (doi:10.1007/3-540-60675-0_40) (KAR id:19094)
[thumbnail of fple95.pdf]
Preview
[thumbnail of fple95.ps]
Preview

Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK (KAR id:21020)
[thumbnail of HaskellThompson.pdf]
Preview
[thumbnail of HaskellThompson.ps]
Preview

Thompson, Simon, Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (doi:10.1093/comjnl/35.2.170) (KAR id:22255)
[thumbnail of CMCMThompson.pdf]
Preview
[thumbnail of CMCMThompson.ps]
Preview

Thompson, Simon (1992) Are subsets necessary in Martin-Lof type theory? In: Myers Jr, J.P. and O'Donnell, M.J., eds. Constructivity in Computer Science Summer Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 46-57. ISBN 978-3-540-55631-2. E-ISBN 978-3-540-47265-0. (doi:10.1007/BFb0021082) (KAR id:21078)
[thumbnail of AresubThom.pdf]
Preview
[thumbnail of AresubThom.ps]
Preview

Thompson, Simon (1991) Type Theory and Functional Programming. Addison Wesley ISBN 0-201-41667-0. (KAR id:20998)
[thumbnail of ttfp.pdf]
Preview

Thompson, Simon (1989) A Logic for Miranda. Formal Aspects of Computing, (1). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20949)

Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK (KAR id:20889)
[thumbnail of interactive_thompson.pdf]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20917)

This list was generated on Mon Jan 17 19:59:58 2022 GMT.