Numerical Representations as Purely Functional Data Structures: A New Approach
2002
Details
Title
Numerical Representations as Purely Functional Data Structures: A New Approach
Author(s)
Ivanović, Mirjana ; Kuncak, Viktor
Published in
INFORMATICA, Institute of Mathematics and Informatics, Vilnius
Volume
13
Issue
2
Date
2002
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Record creation date
2007-08-21