Searching for authors named "Kevin Donnelly" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F Abstract
- … Abstract Kevin Donnelly 1,2 and Hongwei Xi 1,3 Computer Science Department, Boston University Boston, USA…
- Add To MetaCart
-
Formalizing O notation in Isabelle/HOL
- …Formalizing O notation in Isabelle/HOL Jeremy Avigad and Kevin Donnelly Carnegie Mellon University…
- Cited by 4 (3 self) – Add To MetaCart
-
Combining higher-order abstract syntax with first-order abstract syntax in ATS
- … Combining Higher-Order Abstract Syntaxwith First-Order Abstract Syntax in ATS * Kevin Donnelly…
- Cited by 4 (1 self) – Add To MetaCart
-
On the Stable Paths Problem and a Restricted Variant
- …On the Stable Paths Problem and a Restricted Variant Kevin Donnelly and Assaf Kfoury February 5…
- Add To MetaCart
-
Some Considerations on a Calculus with Weak References
- …Some Considerations on a Calculus with Weak References Kevin Donnelly Boston University kevind…
- Add To MetaCart
-
Ats: A language that combines programming with theorem proving
- … ATS: A Language that Combines Programming with Theorem Proving Sa Cui, Kevin Donnelly…
- Cited by 2 (0 self) – Add To MetaCart
-
A formally verified proof of the prime number theorem
- …A formally verified proof of the prime number theorem ∗ Jeremy Avigad, Kevin Donnelly, David Gray…
- Cited by 9 (2 self) – Add To MetaCart
-
Formal Semantics of Weak References
- …Formal Semantics of Weak References Kevin Donnelly J. J. Hallett Assaf Kfoury Department…
- Add To MetaCart
-
System F with type equality coercions
- …:chak@(email omitted); Simon Peyton Jones Kevin Donnelly Microsoft Research Ltd Cambridge, England Email…
- Cited by 30 (11 self) – Add To MetaCart
Showing 1 through 9.
