4 results
Core data structures and operations
Automatic testing of Haskell programs
An implementation of the General Decimal Arithmetic Specification