Sciweavers

INFORMATICALT
2002
103views more  INFORMATICALT 2002»
13 years 11 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak