| 2005 |
|---|
| 9 | EE | Sarah Baillie,
Stephen A. Brewster,
Cordelia V. Hall,
John T. O'Donnell:
Motion Space Reduction in a Haptic Model of Violin and Viola Bowin.
WHC 2005: 525-526 |
| 2004 |
|---|
| 8 | EE | John T. O'Donnell,
Gudula Rünger:
Derivation of a logarithmic time carry lookahead addition circuit.
J. Funct. Program. 14(6): 697-713 (2004) |
| 2003 |
|---|
| 7 | EE | John T. O'Donnell:
Embedding a Hardware Description Language in Template Haskell.
Domain-Specific Program Generation 2003: 143-164 |
| 6 | EE | Krzysztof Czarnecki,
John T. O'Donnell,
Jörg Striegnitz,
Walid Taha:
DSL Implementation in MetaOCaml, Template Haskell, and C++.
Domain-Specific Program Generation 2003: 51-72 |
| 1994 |
|---|
| 5 | | John T. O'Donnell:
A Correctness Proof of Parallel Scan.
Parallel Processing Letters 4: 329-338 (1994) |
| 1993 |
|---|
| 4 | | John T. O'Donnell:
Data Parallel Implementation of Extensible Sparse Functional Arrays.
PARLE 1993: 68-79 |
| 1992 |
|---|
| 3 | | John T. O'Donnell:
Generating Netlists from Executable Circuit Specifications.
Functional Programming 1992: 178-194 |
| 1988 |
|---|
| 2 | | John T. O'Donnell,
Cordelia V. Hall:
Debugging in Applicative Languages.
Lisp and Symbolic Computation 1(2): 113-145 (1988) |
| 1985 |
|---|
| 1 | | John T. O'Donnell:
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages.
FPCA 1985: 164-189 |
