Michal Konečný
Publications:

Functional Inplace Update with Layered Datatype Sharing
,
in Proceedings of TLCA 2003, Valencia, Spain, LNCS 2701, pp 195210
(An implementation is available through a
web interface.)

LFPL with Types for Deep
Sharing,
Technical Report EDIINFRR157, LFCS, School of Informatics,
University of Edinburgh, November 2002
(extended version of the above)

Typing with Conditions and
Guarantees for Functional Inplace Update
,
in Proceedings of TYPES 2002 Workshop, Nijmegen, LNCS 2646, pp 182199

Typing with Conditions and
Guarantees in LFPL,
Technical Report EDIINFRR151, LFCS, School of Informatics,
University of Edinburgh, October 2002
(similar to the above)

ManyValued Real
Functions Computable by Finite Transducers using
IFSRepresentations,
PhD thesis, School of Computer
Science, University of Birmingham, October 2000

Real Functions Computable by
Finite Automatons using Affine Representations,
Theoretical Computer Science, 284(2):373396, July 2002

Real Functions
Computable by Finite Transducers using Affine IFS
Representations,
Technical Report CSR0010, School
of Computer Science, University of Birmingham, July 2000

Real Functions
Incrementally Computable by Finite Automata,
to appear in Theoretical Computer Science

Real Functions
Incrementally Computable by Finite Automatons,
Technical Report CSR987, School of Computer Science,
University of Birmingham, October 1998
Michal Konečný
Last modified: Mon Apr 25 15:27:51 BST 2005