Firenze, Italy, 8th September 2001
9:00-10:30. Session 1
- Invited talk: Towards a Principled Multi-Language Infrastructure
- Zhong Shao
(Yale University)
- A framework for interoperability
- Kathleen Fisher (AT&T Labs, Research), Riccardo Pucella (Cornell
University) and John Reppy (Lucent Technologies, Bell Labs)
11:00-12:30. Session 2
- Alice in the Land of Oz - An
Interoperability-based Implementation of a Functional Language on Top of a
Relational Language
- Leif Kornstaedt (Universität des Saarlandes)
- No-Longer-Foreign: Teaching an ML compiler to
speak C "natively"
- Matthias Blume (Lucent Technologies, Bell Labs)
- ILX: Extending the .NET Common IL for Functional
Language Interoperability
- Don Syme (Microsoft Research, Cambridge)
14:00-15:30. Session 3
- Compiling Mercury to the .NET Common Language Runtime
-
Tyson Dowd, Fergus Henderson (University of
Melbourne) and Peter Ross (Mission Critical,
Belgium)
- Object-Oriented Style Overloading for Haskell
- Mark Shields and Simon Peyton Jones (Microsoft Research, Cambridge)
- Annotations for Portable Intermediate Languages
- Fermin Reig (University of Glasgow)
16:00-17:30. Session 4
- Active Oberon for .NET: An Exercise in Object
Model Mapping
- Jurg Gutknecht (ETH Zurich)
- Language-Agnostic Approaches to Mobile Code
- Peter Housel, Christian Stork, Vivek Haldar, Niall
Dalton and Michael Franz (University of California, Irvine)
- Tail call elimination on the Java Virtual
Machine
- Michel Schinz and Martin Odersky (Ecole Polytechnique Fédérale
de Lausanne)