Simon Thompson
- Auteur
Simon Thompson is Professor of Logic and Computation in the Computing Laboratory of the University of Kent, where he has taught computing at undergraduate and postgraduate levels for the past twenty five years, and where he has been department head for the last six.
His research work has centered on functional programming: program verification, type systems, and most recently development of software tools for functional programming languages. His team has built the HaRe tool for refactoring Haskell programs, and is currently developing Wrangler to do the same for Erlang.
His research work has centered on functional programming: program verification, type systems, and most recently development of software tools for functional programming languages. His team has built the HaRe tool for refactoring Haskell programs, and is currently developing Wrangler to do the same for Erlang.
Simon Thompson is Professor of Logic and Computation in the Computing Laboratory of the University of Kent, where he has taught computing at undergraduate and postgraduate levels for the past twenty five years, and where he has been department head for the last six.
His research work has centered on functional programming: program verification, type systems, and most recently development of software tools for functional programming languages. His team has built the HaRe tool for refactoring Haskell programs, and is currently developing Wrangler to do the same for Erlang. His research has been funded by various agencies including EPSRC and the European Framework programme. His training is as a mathematician: he has an MA in Mathematics from Cambridge and a D.Phil. in mathematical logic from Oxford.
He has written three books in his field of interest; Type Theory and Functional Programming published in 1991; Miranda: The Craft of Functional Programming (1995) and Haskell: The Craft of Functional Programming (2nd ed. 1999). These are all published by Addison Wesley.
His research work has centered on functional programming: program verification, type systems, and most recently development of software tools for functional programming languages. His team has built the HaRe tool for refactoring Haskell programs, and is currently developing Wrangler to do the same for Erlang. His research has been funded by various agencies including EPSRC and the European Framework programme. His training is as a mathematician: he has an MA in Mathematics from Cambridge and a D.Phil. in mathematical logic from Oxford.
He has written three books in his field of interest; Type Theory and Functional Programming published in 1991; Miranda: The Craft of Functional Programming (1995) and Haskell: The Craft of Functional Programming (2nd ed. 1999). These are all published by Addison Wesley.
Boeken van Simon Thompson
Matthew Festenstein
Simon Thompson
Richard Rorty – Critical Dialogues
€ 27,86
Richard Rorty is one of the most influential and provocative figures in contemporary intellectual life. He argues that many of philosophy's traditional concerns are redundant, and that the goal of inquiry should not be truth but human betterment.
Meer
Simon Thompson
Trading Secrets
€ 25,35
Have you ever wondered how the top City traders make big profits from share trading? Do you know why the best investors know exactly when the market is going to rise or fall?
Meer
Simon Thompson
S. Clarke
P. Hoggett
Emotion, Politics and Society
€ 61,99
This timely book critically addresses the intersection between power, politics and emotions. Challenging traditional dichotomies which counterpose rationalist to non-rationalist epistemologies, it offers a sustained argument for a more complete and integrated rationalism and helps us understand emotions in contemporary social and political life.
Meer
Simon Thompson
Green and Sustainable Finance
€ 86,38
Green and Sustainable Finance offers a comprehensive guide to green and sustainable principles and practice in banking, investment and insurance.
Meer
Simon Thompson
The Political Theory of Recognition
€ 83,11
This clear and accessible book provides an excellent guide through the ongoing and increasingly significant debate between multiculturalism and its critics.
Meer
Matthew Festenstein€ 27,86
Simon Thompson€ 25,35
Simon Thompson€ 61,99
Simon Thompson€ 86,38
Simon Thompson€ 83,11