Type System Support for Floating-Point Computation (2001)

Cached

Download Links

by E. Jason Riedy