Skip to main content

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