Previous ML Club Meetings 1996-77
1997:
26 Jun - Alvaro Moreira -
Overview of ICFP'97 and Types Workshop.
19 Jun - Dave Matthews -
The Poly Programming Language
(abstract here)
.
12 Jun - Stephen Gilmore -
Global Computation Research Review.
05 Jun - General Discussion of EPSRC Grant Proposal
29 May - Dave Berry (Harlequin) -
The ML-Works Compiler
(info here)
.
22 May - Mike Fourman -
Global Computation in ML.
15 May - Dave Matthews -
Global Garbage Collection in LEMMA.
08 May - Stephen Gilmore -
Programming with regions in the ML-kit
(info here)
.
01 May - Claudio Russo -
Higher-order Modules
(abstract here)
.
13 Mar - Michael O'boyle -
Static techniques for effective exploitation of machine parallelism.
06 Mar - Mike Fourman & Chris Walton -
Discussion of Java/ML project.
(info here)
27 Feb - Murray Cole -
Skeletal Parallel Programming and ML.
20 Feb - Bruce McAdam -
3D Graphics in ML!
(ML graphics page)
13 Feb - Johannes Schneiders -
Process allocation and migration in DML.
(slides here)
06 Feb - Ulrike Thomas -
Parallel Graph Reduction.
(slides here)
30 Jan - Mike Fourman & Dave Matthews -
The Distributed/Shared Environment Grant.
(document here)
23 Jan - General discussion on distributed Poly/ML and LEMMA.
16 Jan - Stephen Gilmore -
The Definition of Standard ML 90 & 97.
1996:
05 Dec - Chris Walton & Mike Fourman -
Virtual Machines and Wide-Area Computing.
28 Nov - Dilip Sequeira -
Type Inference and Subtyping.
(slides here)
21 Nov - Bruce McAdam -
Poly/ML on the Cray T3D.
(information here)
14 Nov - Alvaro Moreira -
A type system for detecting local references in a distributed language.
07 Nov - Stephen Gilmore -
A brief history of type.
31 Oct - Budi Ling -
A typed version of lambda sigma (part 2).
24 Oct - Budi Ling -
A typed version of lambda sigma (part 1).
17 Oct - Johannes Schneiders -
Simulation with Concurrent ML.
10 Oct - Dave Matthews -
The LEMMA interface (Introduction).
Return to the ML-Club Home Page.