![[theory meets practice]](pictures/lambda-and-chip.gif)
Functional Programming at Glasgow
This is a summary of the activities of the Functional Programming Group at
the Glasgow University Computing Science
Department.
The Functional Programming Group at the Glasgow University Computing Science Department
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. The proceedings are 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 work closely with the Functional Programming Groups at
We also have close connections with the Glasgow
Formal
Methods and Theory Group, which covers some more theoretical
issues such as lambda-calculus.
We hold a
weekly
research seminar series. Everyone is welcome to
attend. The seminars are held weekly during the academic year,
October through June, with occasional meetings held during summers
and holidays. The normal time is Monday afternoons, from 4:05 until
5:00, and the meeting is held in the departmental conference room
(Room F121).
Here is the
upcoming
FP Seminar schedule.
If you'd like to schedule a talk or recommend a
speaker, please contact John O'Donnell.
Each year we hold a
workshop somewhere in Scotland.
The purpose of these workshops is to promote functional
programming research at Glasgow by providing a forum in
which new ideas can be discussed in a friendly, informal
environment. The workshops are attended by invitees from
other universities and commercial organisations as well
as by the Glasgow functional programmers.
The proceedings of the workshops are revised and refereed.
All but the first workshop has been published in the
Springer-Verlag Workshops in Computing Series.
The Functional Programming Group have also contributes towards the
Glasgow/Edinburgh
Workshops in Theoretical Computer Science.
This is a list research themes currently supported by the Glasgow FP Group.
OK, you could do buzzword-compliant programming for company X on
their test harness for their test rig for the GTI (General Toaster
Interface). You'd make a good living. Ho hum.
Or you could come to Glasgow to create: Better Computing through
Functional Programming. We're looking both for hackers (ahem, er,
"system builders") and for people who like staring at blank sheets of
paper (uh, mmm, "theoreticians"), because we both want to chip away
at the problems that prevent FP from Taking Over The World and
really understand What's Going On Here. The FP fire tends to be where
theory and practice rub together.
Oh yes, you could get a PhD while you were at it. Studentships
are available.
Here are Further Details about PhD opportunities
at the University of Glasgow.
Glasgow FP Group support several software projects.
One important project is the Glasgow Haskell Compiler.
We also have smaller projects, including
Happy, a parser generator for Haskell, and
Haggis, a graphical user interface framework.
Here are indexes to
Glasgow technical reports
and
published papers.
Also, many members of the group have publications
on-line via their home pages.
Glasgow is the editorial headquarters of the
Journal of Functional Programming.
Membership in the Glasgow Functional Programming Group is not formal
and there is no canonical list of `members'. However, the following
people are all active members of the group:
- Professors
- Teaching Staff
- Research Staff
- Research Students
- Others
Jonathan Hogg, (editor)
Functional Programming Group,
Department of Computing Science,
Glasgow University,
17 Lilybank Gardens, GLASGOW, G12 8QQ, UK.
Last changed: $Date: 1996/07/01 10:53:07 $