Numerical Representations as Higher−Order Nested Datatypes
Ralf Hinze
Institution
Institut für Informatik III‚ Universität Bonn
Month
dec
Number
IAI−TR−98−12
Year
1998
Ralf Hinze