Functional Language Expert to Speak at KU


(09-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.

For more information, contact ITTC.


Current News | More News | ITTC Newsletter


Partner with ITTC

The Information and Telecommunication Technology Center at the University of Kansas has developed several assistance policies that enhance interactions between the Center and local, Kansas, or national companies. 

ITTC assistance includes initial free consulting (normally one to five hours). If additional support is needed, ITTC will offer one of the following approaches: 

Sponsored Research Agreement

Individuals and organizations can enter into agreements with KUCR/ITTC and provide funds for sponsored research to be performed at ITTC with the assistance of faculty, staff and students.

Licensing and Royalty/Equity Agreement

An ITTC goal is the development of investment-grade technologies for transfer to, and marketing by, local, Kansas, and national businesses. To enhance this process, the Center has developed flexible policies that allow for licensing, royalty, and equity arrangements to meet both the needs of ITTC and the company.

Commercialization Development

Companies with a technology need that can be satisfied with ITTC's resources can look to us for assistance. We can develop a relationship with interested partners that will provide for the development of a technology suited for commercialization.

ITTC Resource Access

ITTC resources, including computers and software systems, may be made available to Kansas companies in accordance with the Center's mission and applicable Regents and University policies.

ITTC Calendar
There are no upcoming events at this time.