Simon Thompson

Available identifiers

zbMath Open thompson.simon-jWikidataQ57606204 ScholiaQ57606204MaRDI QIDQ909442

List of research outcomes

Publication	Date of Publication	Type
A comparison of big-step semantics definition styles	2024-12-18	Paper
A formalisation of Core Erlang, a concurrent actor language	2024-09-11	Paper
Applications of Successive Convexification in Autonomous VehiclePlanning and Control	2020-10-13	Paper
Are subsets necessary in Martin-Löf type theory?	2017-11-17	Paper
On the Completeness of Spider Diagrams Augmented with Constants	2015-10-06	Paper
Refactoring tools for functional languages	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q5191331	2009-07-30	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
The Expressiveness of Spider Diagrams	2005-03-21	Paper
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q2751550	2001-10-21	Paper
A functional reactive animation of a lift using Fran	2001-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4518868	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4952320	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q3838807	1999-01-05	Paper
A logic for Miranda, revisited	1995-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4003339	1992-09-18	Paper
Lawful functions and program verification in miranda	1990-01-01	Paper
A logic for Miranda	1989-01-01	Paper

Research outcomes over time

This page was built for person: Simon Thompson