Michal's slides

• Distributed, Arbitrary-Precision Differential Equation Solving , 12 December 2007, seminar at Imperial College London

• Functional In-place Update with Layered Datatype Sharing , 10 June 2003, 6th conference on Typed Lambda Calculi and Applications (TLCA'03) Valencia, Spain

• Functional In-place Update with Layered Datatype Sharing , 21 January 2003, Theory seminar, LFCS, School of Informatics, Edinburgh, Scotland

• Relaxing a Linear Typing for In-Place Update , 25 April 2002, TYPES 2002, Nijmegen, NL

• Continuity of Non-Extensional Computation 15 November 2001, Computability and Complexity in Analysis, Dagstuhl seminar 01461