ML Club Publications

These are a selection of publications by members of the LFCS which involve ML in some way, most are available as LFCS technical reports (though many have also been published elsewhere).

Members of the department should e-mail the maintainer to have new papers added.

The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

  • That About Wraps it Up: Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks ECS-LFCS-97-375, Bruce J. McAdam.
  • Programming in Standard ML '97: A Tutorial Introduction ECS-LFCS-97-364, Stephen Gilmore.
  • The C-LEMMA Memory Interface on the Cray T3D ECS-LFCS-97-362, Christopher D Walton and Bruce J McAdam.
  • Typed Operational Semantics for Higher Order Subtyping ECS-LFCS-97-361, Adriana Compagnoni and Healfdene Goguen.
  • BigTypes in ML (Poster abstract, ICFP'97), Bruce J. McAdam.
  • Standard ML Type Generativity as Existential Quantification ECS-LFCS-96-344, Claudio Russo.
  • Detecting Local Channels in Distributed Poly/ML, ECS-LFCS-96-340, Paul Steckler.
  • Papers on Poly/ML, ECS-LFCS-95-335, David C J Matthews.
  • LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection, ECS-LFCS-95-325, David C J Matthews and Thierry Le Sergent.
  • The definition of Extended ML: a gentle introduction ECS-LFCS-95-322, Stefan Kahrs, Donald Sannella and Andrzej Tarlecki.
  • LEMMA Interface Definition, ECS-LFCS-95-316, David C J Matthews and Thierry Le Sergent.
  • Multiple Values in Standard ML ECS-LFCS-94-312 Kevin Mitchell.
  • Supporting Formal Reasoning about Standard ML ECS-LFCS-94-310, Graham Collins and Stephen Gilmore.
  • Shared Environments for Distributed ML (Extended Abstract), Click here, Paul Steckler.
  • Adaptive Selection of Protocols for Strict Coherency in Distributed Shared Memory, ECS-LFCS-94-306, Thierry Le Sergent and David C J Matthews.
  • Balancing Load Under Large and Fast Load Changes in Distributed Computing Systems -- A Case Study, ECS-LFCS-94-305, Thierry LeSergent and Bernard Berthomieu.
  • The Definition of Extended ML ECS-LFCS-94-300, Stefan Kahrs, Donald Sannella, Andrzej Tarlecki.
  • First-Class Polymorphism for ML ECS-LFCS-94-284, Stefan Kahrs.
  • Interfaces and Extended ML ECS-LFCS-94-283, Stefan Kahrs and Donald Sannella and Andrzej Tarlecki.
  • Mistakes and Ambiguities in the Definition of Standard ML ECS-LFCS-93-257, Stefan Kahrs.
  • Miscellaneous Design Issues in the ML Kit ECS-LFCS-92-237, Nick Rothwell.
  • Parsing in the SML Kit ECS-LFCS-92-236, Nick Rothwell.
  • Functional Compilation from the Standard ML Core Language to Lambda Calculus ECS-LFCS-92-235, Nick Rothwell.
  • A proposed categorical semantics for Pure ML ECS-LFCS-92-213, Wesley Phoa and Michael Fourman.
  • Modularizing the Specification of a Small Database System in Extended ML ECS-LFCS-91-177, E. Kazmierczak.
  • A Distributed Concurrent Implementation of Standard ML, ECS-LFCS-91-174, David C J Matthews.
  • The Edinburgh SML Library ECS-LFCS-91-148, Dave Berry.
  • Extended ML: Past, present and future ECS-LFCS-91-138, D. Sannella and A. Tarlecki.
  • Formal program development in Extended ML for the working programmer ECS-LFCS-89-102, Donald Sannella.
  • Syntax, Typechecking and Dynamic Semantics for Extended ML ECS-LFCS-89-101, Donald Sannella and Fabio da Silva.
  • The Definition of Standard ML - Version 3 ECS-LFCS-89-81, Harper, Milner and Tofte.
  • Four Lectures on Standard ML ECS-LFCS-89-73, Mads Tofte.
  • Toward formal development of ML programs: foundations and methodology - Preliminary version ECS-LFCS-89-71, Donald Sannella and Andrzej Tarlecki
  • Unifying Exceptions with Constructors in Standard ML ECS-LFCS-88-55, R. Milner, M. Tofte, D. MacQueen, A. Appel.
  • The Essence of ML ECS-LFCS-87-42 R. Harper and J. Mitchell.
  • A Type Discipline for Program Modules ECS-LFCS-87-28 R. Harper, R. Milner and M. Tofte.
  • Extended ML : An Institution-independent Framework for Formal Program Development ECS-LFCS-86-16, D. Sannella and A. Tarlecki.
  • Formal Specification of ML Programs ECS-LFCS-86-15, D. Sannella
  • Introduction to Standard ML ECS-LFCS-86-14, R. Harper.
  • Modules and Persistence in Standard ML ECS-LFCS-86-11 R. Harper.
  • Standard ML ECS-LFCS-86-2, R. Harper, D. MacQueen and R. Milner.


  • Return to the ML-Club Home Page.