2008 |
13 | EE | Kevin Donnelly,
Matthew Fluet:
Transactional events.
J. Funct. Program. 18(5-6): 649-706 (2008) |
2007 |
12 | EE | Martin Sulzmann,
Manuel M. T. Chakravarty,
Simon L. Peyton Jones,
Kevin Donnelly:
System F with type equality coercions.
TLDI 2007: 53-66 |
11 | EE | Jeremy Avigad,
Kevin Donnelly,
David Gray,
Paul Raff:
A formally verified proof of the prime number theorem.
ACM Trans. Comput. Log. 9(1): (2007) |
10 | EE | Jeremy Avigad,
Kevin Donnelly:
A decision procedure for linear "big O" equations
CoRR abs/cs/0701073: (2007) |
9 | EE | Kevin Donnelly,
Hongwei Xi:
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F.
Electr. Notes Theor. Comput. Sci. 174(5): 109-125 (2007) |
8 | EE | Jeremy Avigad,
Kevin Donnelly:
A Decision Procedure for Linear "Big O" Equations.
J. Autom. Reasoning 38(4): 353-373 (2007) |
2006 |
7 | EE | Kevin Donnelly,
Matthew Fluet:
Transactional events.
ICFP 2006: 124-135 |
6 | EE | Kevin Donnelly,
J. J. Hallett,
Assaf J. Kfoury:
Formal semantics of weak references.
ISMM 2006: 126-137 |
2005 |
5 | EE | Sa Cui,
Kevin Donnelly,
Hongwei Xi:
ATS: A Language That Combines Programming with Theorem Proving.
FroCos 2005: 310-320 |
4 | EE | Kevin Donnelly,
Hongwei Xi:
Combining higher-order abstract syntax with first-order abstract syntax in ATS.
MERLIN 2005: 58-63 |
3 | EE | Jeremy Avigad,
Kevin Donnelly,
David Gray,
Paul Raff:
A formally verified proof of the prime number theorem
CoRR abs/cs/0509025: (2005) |
2004 |
2 | EE | Jeremy Avigad,
Kevin Donnelly:
Formalizing O Notation in Isabelle/HOL.
IJCAR 2004: 357-371 |
1 | EE | Kevin Donnelly,
Tyler Gibson,
Neel Krishnaswami,
Stephen Magill,
Sungwoo Park:
The Inverse Method for the Logic of Bunched Implications.
LPAR 2004: 466-480 |