Searching for authors named "Simon Thompson" – sorted by Relevance.
46 documents found, showing 1 through 10.
Next 10 →
-
Higher-order + Polymorphic = Reusable
- …Higher-order + Polymorphic = Reusable Simon Thompson Computing Laboratory, University of Kent…
- Add To MetaCart
-
A Logic for Miranda, Revisited
- … Simon Thompson Computing Laboratory, University of Kent Canterbury, CT2 7NF, U.K. Keywords: Functional…
- Cited by 11 (4 self) – Add To MetaCart
-
Interactive Functional Programs: A Method and a Formal Semantics
- …Interactive functional programs: a method and a formal semantics Simon Thompson Computing…
- Cited by 16 (2 self) – Add To MetaCart
-
Formulating Haskell
- …Formulating Haskell Simon Thompson Computing Laboratory, University of Kent Canterbury, CT2 7NF…
- Cited by 5 (1 self) – Add To MetaCart
-
A functional reactive animation of a lift using Fran
- … of a lift using Fran Simon Thompson Computing Laboratory, University of Kent Canterbury, Kent, CT2 7…
- Cited by 5 (1 self) – Add To MetaCart
-
The Craft of Functional Programming
- …Refactoring Functional Programs Simon Thompson Computing Laboratory University of Kent, UK S.J.Thompson…
- Cited by 75 (3 self) – Add To MetaCart
-
Type Theory and Functional Programming
- …Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March…
- Cited by 79 (3 self) – Add To MetaCart
-
Regular Expressions and Automata using Miranda
- …Regular Expressions and Automata using Miranda Simon Thompson Computing Laboratory Univerisity…
- Add To MetaCart
-
Review of Algebra of Programming Richard Bird and Oege de Moor Prentice Hall, 1996 (dated 1997)
- …. 6 Erik Poll and Simon Thompson References …
- Add To MetaCart
-
Integrating Computer Algebra and Reasoning through the Type System of Aldor
- …Integrating Computer Algebra and Reasoning through the Type System of Aldor Erik Poll 1 and Simon…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
