Michal's slides
Continuity of Non-Extensional Computation
15 November 2001, Computability and Complexity in Analysis, Dagstuhl seminar 01461
Relaxing a Linear Typing for In-Place Update
, 25 April 2002, TYPES 2002, Nijmegen, NL
Functional In-place Update with Layered Datatype Sharing
, 21 January 2003, Theory seminar, LFCS, School of Informatics, Edinburgh, Scotland
Functional In-place Update with Layered Datatype Sharing
, 10 June 2003, 6th conference on Typed Lambda Calculi and Applications (TLCA'03) Valencia, Spain
Michal Konecny
Last modified: Fri Jun 13 07:56:40 BST 2003