Kevin Donnelly

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jeremy Avigad [2] [3] [8] [10] [11]
2Manuel M. T. Chakravarty [12]
3Sa Cui [5]
4Matthew Fluet [7] [13]
5Tyler Gibson [1]
6David Gray [3] [11]
7J. J. Hallett [6]
8Simon L. Peyton Jones [12]
9Assaf J. Kfoury (A. J. Kfoury) [6]
10Neel Krishnaswami [1]
11Stephen Magill [1]
12Sungwoo Park [1]
13Paul Raff [3] [11]
14Martin Sulzmann [12]
15Hongwei Xi [4] [5] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)