John T. O'Donnell
John T. O'Donnell
Lecturer, School of Computing Science, University of Glasgow
Adresse e-mail validée de glasgow.ac.uk
Titre
Citée par
Citée par
Année
DSL implementation in MetaOCaml, Template Haskell, and C++
K Czarnecki, JT O’Donnell, J Striegnitz, W Taha
Domain-Specific Program Generation, 51-72, 2004
1392004
Expressing and reasoning about non-deterministic functional programs
J Hughes, J O’Donnell
Functional Programming, 308-328, 1990
651990
Discrete mathematics using a computer
J O'Donnell, C Hall, R Page
Springer Science & Business Media, 2007
642007
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
542013
Teaching functional circuit specification in Hydra
J o'Donnell
International Symposium on Functional Programming Languages in Education …, 1995
541995
Hardware description with recursion equations
JT O’Do11nell
521986
Generating netlists from executable circuit specifications in a pure functional language
JT O’Donnell
Functional Programming, Glasgow 1992, 178-194, 1993
451993
Debugging in applicative languages
JT O'Donnell, CV Hall
Lisp and symbolic computation 1 (2), 113-145, 1988
431988
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
381985
A correctness proof of parallel scan
JT O’DONNELL
Parallel Processing Letters 4 (03), 329-338, 1994
351994
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
311988
Overview of Hydra: A concurrent language for synchronous digital circuit design
J O'Donnell
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002
282002
A methodology for deriving parallel programs with a family of parallel abstract machines
J O'Donnell, G Rünger
European Conference on Parallel Processing, 662-669, 1997
251997
Dialogues: A basis for constructing programming environments
JT O'Donnell
ACM SIGPLAN Notices 20 (7), 19-27, 1985
231985
Embedding a hardware description language in template haskell
JT O’Donnell
Domain-Specific Program Generation, 143-164, 2004
212004
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
An architecture that efficiently updates associative aggregates in applicative programming languages
JT O'Donnell
Conference on Functional Programming Languages and Computer Architecture …, 1985
201985
DSL implementation in MetaOCaml
K Czarnecki, J O’Donnell, J Striegnitz, W Taha
Template Haskell, and C+ 3016, 50-71, 2004
182004
A SYSTOLIC ASSOCIATIVE LISP COMPUTER ARCHITECTURE WITH INCREMENTAL PARALLEL STORAGE MANAGEMENT.
JT O'DONNELL
161982
Bidirectional fold and scan
JT O’Donnell
Functional Programming, Glasgow 1993, 193-200, 1994
131994
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20