Simon Thompson
Emeritus Professor of Logic and Computation
University of Kent
location_on United Kingdom
Member since 1 year
Share
Simon Thompson
Specialises In
Simon Thompson is a researcher and educator in function programming, based at the Universities of Kent and ELTE Budapest, and also working with IOG on languages for distributed application development. He has worked on verification, language design, and refactoring, and published textbooks on Erlang, Haskell and type theory.
-
keyboard_arrow_down
Language-independent refactorings through language-specific rewrites
45 Mins
Talk
Intermediate
Programming language may share much in common, but each language has its own particular syntactic and semantic features. For example, a function application in Haskell can be an operator section, while in Erlang it can be an application of the apply function. This talk presents generic, language-independent refactoring schemes that are realised in each language by a particular set of rewrites, and is illustrated by examples from Erlang, Haskell and OCaml.
-
-
No more submissions exist.
