Numerical Representations as Higher-Order Nested Datatypes (1998)

Cached

Download Links

by Ralf Hinze
Citations:7 - 2 self