Follow
John T. O'Donnell
John T. O'Donnell
Lecturer, School of Computing Science, University of Glasgow
Verified email at glasgow.ac.uk
Title
Cited by
Cited by
Year
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
1532004
Discrete mathematics using a computer
J O'Donnell, C Hall, R Page
Springer Science & Business Media, 2007
792007
Expressing and reasoning about non-deterministic functional programs
J Hughes, J O’Donnell
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 …, 1990
711990
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
702013
Hardware description with recursion equations
JT O'Donnell
Computer Science Department, Indiana University, Bloomington, 1986
591986
Teaching functional circuit specification in Hydra
J o'Donnell
International Symposium on Functional Programming Languages in Education …, 1995
561995
Debugging in applicative languages
JT O'Donnell, CV Hall
Lisp and symbolic computation 1 (2), 113-145, 1988
471988
Generating netlists from executable circuit specifications in a pure functional language
JT O’Donnell
Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow …, 1993
451993
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
421985
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
371988
A correctness proof of parallel scan
JT O’DONNELL
Parallel Processing Letters 4 (03), 329-338, 1994
351994
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
342002
Dialogues: A basis for constructing programming environments
JT O'Donnell
ACM SIGPLAN Notices 20 (7), 19-27, 1985
241985
An architecture that efficiently updates associative aggregates in applicative programming languages
JT O'Donnell
Conference on Functional Programming Languages and Computer Architecture …, 1985
221985
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
202004
DSL implementation in MetaOCaml
K Czarnecki, J O’Donnell, J Striegnitz, W Taha
Template Haskell, and C+ 3016, 50-71, 2004
192004
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
181997
A systolic associative LISP computer architecture with incremental parallel storage management
JT O'DONNELL
The University of Iowa, 1981
181981
Embedding a hardware description language in template haskell
JT O’Donnell
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004
162004
Higher-order functions for parallel evaluation
M Cole, CV Hall, RJM Hughes, JT O'Donnell
Proceedings of the 1988 Glasgow Workshop on Functional Programming, 8-20, 1988
151988
The system can't perform the operation now. Try again later.
Articles 1–20