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
Michal Konecny
Last modified: 7 August 2008