The following pages link to Simon Thompson (Q909442):
Displaying 18 items.
- A logic for Miranda (Q909443) (← links)
- Lawful functions and program verification in miranda (Q918222) (← links)
- A logic for Miranda, revisited (Q1903076) (← links)
- A functional reactive animation of a lift using Fran (Q2730075) (← links)
- (Q2751550) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- (Q3838807) (← links)
- (Q4003339) (← links)
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection (Q4461930) (← links)
- (Q4518868) (← links)
- Are subsets necessary in Martin-Löf type theory? (Q4594250) (← links)
- The Expressiveness of Spider Diagrams (Q4659954) (← links)
- (Q4952320) (← links)
- (Q5191331) (← links)
- Refactoring tools for functional languages (Q5398335) (← links)
- Diagrammatic Representation and Inference (Q5714027) (← links)
- A formalisation of Core Erlang, a concurrent actor language (Q6602500) (← links)
- A comparison of big-step semantics definition styles (Q6654401) (← links)
