Haskell 98 Libraries: Rational Numbers
Abstract
12.1 Library Ratio 150
Related papers
- Haskell 98 Libraries: Complex Numbers JFP 2003
- Haskell 98 Libraries: Random Numbers JFP 2003
- Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract) SAS 1997
- Déjà Fu: a concurrency testing library for Haskell Haskell 2015
- Formalising real numbers in homotopy type theory CPP 2017
- Finiteness and rational sequences, constructively JFP 2017
- Super-naturals JFP 2022
- A combinator library for the design of railway track layouts JFP 2011