| DSL implementation in MetaOCaml, Template Haskell, and C++ K Czarnecki, JT O’Donnell, J Striegnitz, W Taha Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004 | 153 | 2004 |
| Discrete mathematics using a computer J O'Donnell, C Hall, R Page Springer Science & Business Media, 2007 | 75 | 2007 |
| Outcome of arthroscopic treatment for cam type femoroacetabular impingement in adolescents P Tran, M Pritchard, J O'Donnell ANZ journal of surgery 83 (5), 382-386, 2013 | 74 | 2013 |
| Expressing and reasoning about non-deterministic functional programs J Hughes, J O’Donnell Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 …, 1990 | 70 | 1990 |
| Hardware description with recursion equations JT O'Donnell Computer Science Department, Indiana University, Bloomington, 1986 | 59 | 1986 |
| Teaching functional circuit specification in Hydra J o'Donnell International Symposium on Functional Programming Languages in Education …, 1995 | 54 | 1995 |
| Debugging in applicative languages JT O'Donnell, CV Hall Lisp and symbolic computation 1 (2), 113-145, 1988 | 48 | 1988 |
| Generating netlists from executable circuit specifications in a pure functional language JT O’Donnell Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow …, 1993 | 45 | 1993 |
| Debugging in a side effect free programming environment CV Hall, JT O'Donnell Proceedings of the ACM SIGPLAN 85 symposium on Language issues in …, 1985 | 42 | 1985 |
| Hydra: hardware description in a functional language using recursion equations and high order combining forms J O’Donnell The Fusion of Hardware Design and Verification, 309-328, 1988 | 38 | 1988 |
| Overview of Hydra: A concurrent language for synchronous digital circuit design J O'Donnell Parallel and Distributed Processing Symposium, International 2, 9 pp-9 pp, 2002 | 35 | 2002 |
| A correctness proof of parallel scan JT O’DONNELL Parallel Processing Letters 4 (03), 329-338, 1994 | 35 | 1994 |
| Dialogues: A basis for constructing programming environments JT O'Donnell ACM SIGPLAN Notices 20 (7), 19-27, 1985 | 25 | 1985 |
| Functional pearl derivation of a logarithmic time carry lookahead addition circuit JT O'donnell, G Rünger Journal of Functional Programming 14 (6), 697-713, 2004 | 21 | 2004 |
| An architecture that efficiently updates associative aggregates in applicative programming languages JT O'Donnell Conference on Functional Programming Languages and Computer Architecture …, 1985 | 21 | 1985 |
| DSL implementation in MetaOCaml K Czarnecki, J O’Donnell, J Striegnitz, W Taha Template Haskell, and C+ 3016, 50-71, 2004 | 19 | 2004 |
| A methodology for deriving parallel programs with a family of parallel abstract machines J O'Donnell, G Rünger Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997 | 18 | 1997 |
| Embedding a hardware description language in template haskell JT O’Donnell Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004 | 16 | 2004 |
| Higher-order functions for parallel evaluation M Cole Proceedings of the 1988 Glasgow Workshop on Functional Programming, 8-20, 1988 | 16 | 1988 |
| A systolic associative LISP computer architecture with incremental parallel storage management JT O'DONNELL The University of Iowa, 1981 | 16 | 1981 |
