Kevin Donnelly

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Leveraging Lexical Resources and Constraint Grammar for Rule-Based Part-of-Speech Tagging in Welsh.
Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

2010
The Complexity of Restricted Variants of the Stable Paths Problem.
Fundam. Informaticae, 2010

2009
apertium-cy - a collaboratively-developed free RBMT system for Welsh to English.
Prague Bull. Math. Linguistics, 2009

2008
Transactional events.
J. Funct. Program., 2008

2007
A formally verified proof of the prime number theorem.
ACM Trans. Comput. Log., 2007

A Decision Procedure for Linear "Big O" Equations.
J. Autom. Reason., 2007

System F with type equality coercions.
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.
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Formal semantics of weak references.
Proceedings of the 5th International Symposium on Memory Management, 2006

2005
Combining higher-order abstract syntax with first-order abstract syntax in ATS.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

ATS: A Language That Combines Programming with Theorem Proving.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004
The Inverse Method for the Logic of Bunched Implications.
Proceedings of the Logic for Programming, 2004

Formalizing O Notation in Isabelle/HOL.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004


  Loading...