Michal Konečný
Publications:
-
Functional In-place Update with Layered Datatype Sharing
,
in Proceedings of TLCA 2003, Valencia, Spain, LNCS 2701, pp 195--210
(An implementation is available through a
web interface.)
-
LFPL with Types for Deep
Sharing,
Technical Report EDI-INF-RR-157, LFCS, School of Informatics,
University of Edinburgh, November 2002
(extended version of the above)
-
Typing with Conditions and
Guarantees for Functional In-place Update
,
in Proceedings of TYPES 2002 Workshop, Nijmegen, LNCS 2646, pp 182--199
-
Typing with Conditions and
Guarantees in LFPL,
Technical Report EDI-INF-RR-151, LFCS, School of Informatics,
University of Edinburgh, October 2002
(similar to the above)
-
Many-Valued Real
Functions Computable by Finite Transducers using
IFS-Representations,
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):373-396, July 2002
-
Real Functions
Computable by Finite Transducers using Affine IFS
Representations,
Technical Report CSR-00-10, 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 CSR-98-7, School of Computer Science,
University of Birmingham, October 1998
Michal Konečný
Last modified: Mon Apr 25 15:27:51 BST 2005