David Lester

	2009
18		Marc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009)
	2007
17		Marc Daumas, David Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262
16		Marc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
	2006
15		Marc Daumas, David Lester: Stochastic Formal Methods: An application to accuracy of numeric software CoRR abs/cs/0606101: (2006)
14		Marc Daumas, David Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR abs/cs/0610110: (2006)
13		Jeremy Gibbons, David Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
	2005
12		César Muñoz, David Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
	2003
11		David Lester: Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification 2003: 259-273
10		David Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003)
	2002
9		David Lester, Scott Chambers, Heoi Lee Lu: A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theor. Comput. Sci. 279(1-2): 51-64 (2002)
	2001
8		David Lester: Effective Continued Fractions. IEEE Symposium on Computer Arithmetic 2001: 163-
	2000
7		Paul Gowland, David Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47
	1995
6		David Lester, Sava Mintchev: Inducing Students to Induct. FPLE 1995: 159-177
5		Sava Mintchev, David Lester: The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA 1995: 144-162
4		David Lester: Exact Statistics and Continued Fractions. J. UCS 1(7): 504-513 (1995)
	1994
3		David Lester, Sava Mintchev: Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL 1994: 369-381
	1991
2		Simon L. Peyton Jones, David Lester: A Modular Fully-lazy Lambda Lifter in HASKELL. Softw., Pract. Exper. 21(5): 479-506 (1991)
	1987
1		David Lester: The G-machine as a representation of stack semantics. FPCA 1987: 46-59

Coauthor Index

1	Richard S. Bird	[13]
2	Scott Chambers	[9]
3	Marc Daumas	[14] [15] [16] [17] [18]
4	Jeremy Gibbons	[13]
5	Paul Gowland	[7] [10]
6	Simon L. Peyton Jones	[2]
7	Heoi Lee Lu	[9]
8	Sava Mintchev	[3] [5] [6]
9	César Muñoz	[12] [16] [18]

Colors in the list of coauthors