Kevin Donnelly

According to our database, Kevin Donnelly authored at least 13 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Leveraging Lexical Resources and Constraint Grammar for Rule-Based Part-of-Speech Tagging in Welsh.

Steven Neale, Kevin Donnelly, Gareth Watkins, Dawn Knight

Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

2010

The Complexity of Restricted Variants of the Stable Paths Problem.

Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets

Fundam. Informaticae, 2010

2009

apertium-cy - a collaboratively-developed free RBMT system for Welsh to English.

Francis M. Tyers, Kevin Donnelly

Prague Bull. Math. Linguistics, 2009

2008

Transactional events.

Kevin Donnelly, Matthew Fluet

J. Funct. Program., 2008

2007

A formally verified proof of the prime number theorem.

Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff

ACM Trans. Comput. Log., 2007

A Decision Procedure for Linear "Big O" Equations.

Jeremy Avigad, Kevin Donnelly

J. Autom. Reason., 2007

System F with type equality coercions.

Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

2006

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F.

Kevin Donnelly, Hongwei Xi

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Formal semantics of weak references.

Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury

Proceedings of the 5th International Symposium on Memory Management, 2006

2005

Combining higher-order abstract syntax with first-order abstract syntax in ATS.

Kevin Donnelly, Hongwei Xi

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

ATS: A Language That Combines Programming with Theorem Proving.

Sa Cui, Kevin Donnelly, Hongwei Xi

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

The Inverse Method for the Logic of Bunched Implications.

Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park

Proceedings of the Logic for Programming, 2004

Formalizing O Notation in Isabelle/HOL.

Jeremy Avigad, Kevin Donnelly

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004