ML Logo, Copyright (C) Chris Walton 1997

Welcome to the
Edinburgh LFCS

LFCS has played a major role in the development of the ML programming language. We continue that tradition with these regular meetings to discuss the language's theory, implementation and use. We are interested in many aspects of the language as well as other functional programming languages and related subjects.

Anyone is welcome to come along. If you are from outside the University, please e-mail so we know to expect you.

The time, the place:

  • 11:00am, every Thursday
  • Room 2511 in JCMB
  • For announcements, join our mailing list

    Announcements of future meetings go on our low volume (1 or 2 messages per week) mailing list
  • E-mail with the message info ml-club for information.
  • or the message subscribe ml-club to join the list.
  • Future meetings

    Past meetings

  • 8th July: Dave MacQueen, Bell Labs, The Status and Future of SML/NJ
  • 24th June: Dilsun Kirli, A Static Type System for Detecting Potentially Transmissible Functions
  • Abstract and slides and her paper.
  • 3rd June: Conor McBride, Developing Dependently Typed Programs in LEGO. Abstract and slides .

  • Please e-mail suggestions for future talks!
  • More pages of info...

  • Interests of the group
  • Selected Publications
  • People involved in the ML Club
  • Getting started with Standard ML and ML Archive (maintained by Chris Walton)
  • Previous Meetings (with slides and links to relevant information)
  • Session 1998/99
  • Session 1997/98
  • Session 1996/97
  • Related groups and seminars in the department

  • LFCS
  • LFCS Theory Seminars
  • Lablunch
  • Wednesday Club
  • Semantics Club
  • Specification club
  • Functional Languages @ The Tardis Project
  • Outside Edinburgh

  • 1st Scottish Functional Programming Workshop
  • The 1999 International Conference on Functional Programming (ICFP)
  • FAQ
  • Standard ML Basis Library
  • Heriot-Watt University Computer Science
  • The MLj Project
  • Harlequin Ltd. makers of MLWorks
  • The Haskell programming language

  • Currently maintained by: Tom Chothia (