| |
|
|
| |
| | Simon Thompson is an author, educator and researcher in computer science, best known for his work on functional programming. Simon trained as a mathematician; his DPhil is in mathematical logic, and he was supervised by Robin Gandy, one of Alan Turing’s few graduate students. After graduating from Oxford, and working for a year at the University of Lancaster, Simon moved to the University of Kent, where he has worked ever since. During his time there, he has taken on leadership roles in teaching and research, and was department chair from 2002 to 2010. He has also been responsible for industrial/academic links, and in 2004 set up the Kent IT Consultancy, in which Kent students provide IT consultancy to local SMEs. Simon is an evangelist for functional programming, and has authored texts—still in print—on programming in Haskell and Erlang. His first book, which has recently seen a revival as a freely available PDF [1], covered Martin-Löf’s constructive type theory and its application to programming. He, together with Erlang inventor Joe Armstrong and Erlang Solutions’ founder Francesco Cesarini, recently presented a set of online Erlang Master Classes [2], which form part of an Erlang MOOC that was successfully piloted in spring 2015. Simon is Professor of Logic and Computation, a title that acknowledges not only his work on reasoning about functional programs as well as on visual languages for reasoning, but also his broader work on the practice of functional programming. He has led the development of refactoring tools for functional languages, first with the HaRe tool for Haskell and then with the Erlang refactorer Wrangler (so called because it is—almost—an anagram of Erlang!). His current research goal is to improve the trustworthiness of refactoring tools using logical tools. He is a committed reviewer for CR, as well as book review editor for the Journal of Functional Programming because he has always been a keen reader of reviews, and is happy to pay back by writing reviews himself. He is also an active blogger and Twitter contributor. Links [1] http://www.cs.kent.ac.uk/people/staff/sjt/TTFP [2] http://www.cs.kent.ac.uk/ErlangMasterClasses |
| |
| |
|
Date Reviewed |
|
| |
1 - 7 of 7
reviews
|
|
|
 |
|
|
|
|
Programming in Haskell
Hutton G., Cambridge University Press, New York, NY, 2016. 318 pp. Type: Book (978-1-316626-22-1)
Graham Hutton’s Programming in Haskell is a leading textbook on the functional programming language Haskell, which first appeared in 2007; it is instructive to see how its second edition reflects what has changed over ...
|
Aug 17 2017 |
|
|
|
|
|
|
The fixed-point theory of strictly causal functions
Matsikoudis E., Lee E. Theoretical Computer Science 574(C): 39-77, 2015. Type: Article
Consider this problem of working with timed systems. Suppose that we are to model a ball bouncing under gravity, with air resistance. The ball will bounce less high each time, with the time gaps between bounces reducing, too. In fact, ...
|
Oct 12 2015 |
|
|
|
|
|
|
Crossing the gap from imperative to functional programming through refactoring
Gyori A., Franklin L., Dig D., Lahoda J. ESEC/FSE 2013 (Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, Aug 18-26, 2013) 543-553, 2013. Type: Proceedings
I have been writing functional programs for 30 years, first in KRC, then in Miranda, and more recently in Haskell and Erlang. In the past few years, however, something rather remarkable has been happening: the essentials of functional ...
|
Oct 3 2013 |
|
|
|
|
|
|
Total parser combinators
Danielsson N. ACM SIGPLAN Notices 45(9): 285-296, 2010. Type: Article
Parser combinators are one of the best-known examples of the advantages of functional programming, as they make essential use of functions as arguments and results of functions. They are also one of the longest standing examples, going...
|
Oct 13 2011 |
|
|
|
|
|
|
Semiotics of programming
Tanaka-Ishii K., Cambridge University Press, New York, NY, 2010. 232 pp. Type: Book (978-0-521736-27-5)
Semiotics is the theory of signs. It appeared in the early 20th century in work on theoretical linguistics by Saussure and Pierce, and was applied in the latter half of the century by structuralists such as Barthes to “sign s...
|
Aug 10 2010 |
|
|
|
|
|
|
Essentials of programming languages
Friedman D., Wand M., The MIT Press, 2008. 416 pp. Type: Book (9780262062794)
What is the best way to talk about the general topic of programming languages? Certainly, the most common approach adopts the pattern of “compare features X, Y, Z in languages A, B, and C,” but this of...
|
Aug 15 2008 |
|
|
|
|
|
|
Introduction to mathematical logic; (3rd ed.)
Mendelson E., Wadsworth and Brooks/Cole, Monterey, CA, 1987. Type: Book (9789780534066246)
Mendelson’s introduction to logic is one of the standard texts on mathematical logic for the advanced undergraduate or postgraduate student of mathematics. The author states that there are no specific prerequisites, but that ...
|
Apr 1 1988 |
|
|
|
|
|
| |
|
|
| |
|
|
