• Home
  • Functional Language Expert to Speak at KU

Functional Language Expert to Speak at KU

September 16, 2010

Simon Thompson, a professor of Logic and Computation at the University of Kent, will discuss the refactoring tool, Wrangler, that he created for the Erlang programming language at 1 p.m. on Monday, September 27, in the Apollo Room in Nichols Hall. Thompson’s talk, “Improving your Erlang programs and tests with Wrangler,” is free and open to the public.

Improving the design of a program without changing its behavior-known as refactoring-is critical to development. Wrangler allows much more efficient and reliable interactive refactoring of Erlang programs. Currently, it supports a small number of basic Erlang refactorings, including renaming of variables, functions and modules. Embedded in the Emacs editing environment, Wrangler uses functionalities provided by Distel to manage the communication between tools and Emacs.

An expert on functional languages, Thompson focuses on program verification, type systems, and software tools for functional programming languages. His team has built the HaRe tool for refactoring Haskell programs and is developing Wrangler to do the same for Erlang. Thompson has an MA in Mathematics from Cambridge University and a D.Phil. in mathematical logic from Oxford University.

Department Events
KU Today
High school seniors can apply to the SELF Program, a four-year enrichment and leadership experience
Engineering students build concrete canoes, Formula race cars, unmanned planes, and rockets for competitions nationwide
More first and second place awards in student AIAA aircraft design contests than any other school in the world
One of 34 U.S. public institutions in the prestigious Association of American Universities
44 nationally ranked graduate programs.
—U.S. News & World Report
Top 50 nationwide for size of library collection.
5th nationwide for service to veterans —"Best for Vets: Colleges," Military Times