Functional Programming
at Glasgow
[theory meets practice]


Introduction

The Functional Programming Group in the Computing Science Department at the University of Glasgow is dedicated to exploring the functional paradigm. Our research spans theory and practice, with fruitful interaction between the two, and our Weekly Seminars are always lively.

We hold an Annual Workshop that provides an overview of functional programming research in the department, and guarantees students a chance to practice presenting their work in a professional situation. Most of the proceedings have been published in the Springer-Verlag Workshops in Computing Series.

Glasgow is the home of the Glasgow Haskell Compiler, the editorial headquarters of the Journal of Functional Programming, and maintains the list of Real World Applications of Functional Programming.

We interact with other Research Groups in the Department, especially with the

o Formal Methods and Theory Group FMT
o Better And Ultimate Types Group BeAUTy
o The Reconfigurable Architecture Group RAGE

Other groups around the world that carry out research related to ours include:

o Bristol o Chalmers o Kent
o Nijmegen o Nottingham o St. Andrews
o Stirling o Yale o York


Functional Programming Group

Last changed: 1997/08/20 12:59:45