Simon Thompson

20 papers B 1C 1Journal 6Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Abstract Subtyping for Asynchronous Multiparty Sessions. CONCUR Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson
2024	—	`conf`	An Application of Blockchain for Small Size Loans. BLOCKCHAIN Ayda Bransia, Bálint Molnár, Galena Pisoni, Simon Thompson
2023	J	`jnl`	A model of actors and grey failures. Log. Methods Comput. Sci. Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2023	—	`conf`	Business Processes and Patterns of Blockchain Technology. BLOCKCHAIN Yossra Zghal, Bálint Molnár, Simon Thompson
2023	—	`conf`	Creating a Blockchain-Based Insurance Platform with Marlowe. BLOCKCHAIN Ayda Bransia, Bálint Molnár, Simon Thompson
2022	C	`conf`	A Model of Actors and Grey Failures. COORDINATION Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022	J	`jnl`	A model of actors and grey failures. CoRR Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2018	—	`ed.`	Proceedings Sixth Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017. TFPIE@TFP Simon Thompson
2017	J	`jnl`	A General Method for Defining Objects by Recursion over Syntax. J. Univers. Comput. Sci. Simon Thompson
2016	J	`jnl`	Making Property-Based Testing Easier to Read for Humans. Comput. Informatics Laura M. Castro, Pablo Lamela, Simon Thompson
2014	—	`ch.`	Extended Abstract: Getting Engaged. HOWARD-60 Simon Thompson
2013	—	`conf`	Building trustworthy refactoring tools. VPT@CAV Simon Thompson
2009	—	`book`	Erlang Programming - A Concurrent Approach to Software Development. Francesca Cesarini, Simon Thompson
2005	—	`ed.`	Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005 FDPE@ICFP Robby Bruce Findler, Michael Hanus, Simon Thompson
1996	—	`book`	Haskell - the craft of functional programming. Simon Thompson
1995	—	`book`	Miranda - the craft of functional programming. Simon Thompson
1991	—	`book`	Type theory and functional programming. Simon Thompson
1989	—	`conf`	Functional programming: executable specifications and program transformations. IWSSD Simon Thompson
1985	J	`jnl`	Axiomatic Recursion Theory and the Continuous Functionals. J. Symb. Log. Simon Thompson
1985	J	`jnl`	Priority Arguments in the Continuous R. E. Degrees. J. Symb. Log. Simon Thompson