Follow
Fergus Henderson
Fergus Henderson
Verified email at google.com
Title
Cited by
Cited by
Year
The execution algorithm of Mercury, an efficient purely declarative logic programming language
Z Somogyi, F Henderson, T Conway
The Journal of Logic Programming 29 (1-3), 17-64, 1996
5021996
Mercury, an efficient purely declarative logic programming language
Z Somogyi, FJ Henderson, TC Conway
Australian Computer Science Communications 17, 499-512, 1995
1761995
ASVspoof 2019: A large-scale public database of synthesized, converted and replayed speech
X Wang, J Yamagishi, M Todisco, H Delgado, A Nautsch, N Evans, ...
Computer Speech & Language 64, 101114, 2020
1442020
Fast, compact, and high quality LSTM-RNN based statistical parametric speech synthesizers for mobile devices
H Zen, Y Agiomyrgiannakis, N Egberts, F Henderson, P Szczepaniak
arXiv preprint arXiv:1606.06061, 2016
1352016
A semantics for imprecise exceptions
S Peyton Jones, A Reid, F Henderson, T Hoare, S Marlow
Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999
1321999
Accurate garbage collection in an uncooperative environment
F Henderson
Proceedings of the 3rd international symposium on Memory management, 150-156, 2002
772002
The Mercury language reference manual
F Henderson, T Conway, Z Somogyi, D Jeffery, P Schachte, S Taylor, ...
URL: http://www. cs. mu. oz. au/research/mercury/information/doc/reference …, 1996
77*1996
Determinism analysis in the Mercury compiler
F Henderson, Z Somogyi, T Conway
Australian Computer Science Communications 18, 337-346, 1996
621996
Compiling logic programs to C using GNU C as a portable assembler
F Henderson, T Conway, Z Somogyi
Proceedings of the ILPS 95, 1-15, 1995
411995
Compiling mercury to the. NET common language runtime
T Dowd, F Henderson, P Ross
Electronic Notes in Theoretical Computer Science 59 (1), 73-88, 2001
402001
Code Generation for Mercury.
TC Conway, F Henderson, Z Somogyi
ILPS, 242-256, 1995
391995
Type classes in Mercury
D Jeffery, F Henderson, Z Somogyi
Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat …, 2000
322000
Software engineering at Google
F Henderson
arXiv preprint arXiv:1702.01715, 2017
272017
Compiling Mercury to high-level C code
F Henderson, Z Somogyi
International Conference on Compiler Construction, 197-212, 2002
272002
The implementation technology of the Mercury debugger
Z Somogyi, F Henderson
Electronic Notes in Theoretical Computer Science 30 (4), 256-275, 2000
242000
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language.
Z Somogyi, F Henderson, TC Conway
ILPS Workshop: Implementation Techniques for Logic Programming Languages 37, 1994
231994
Logic programming for the real world
Z Somogyi, F Henderson, T Conway, R O’Keefe
Proceedings of the ILPS 95, 83-94, 1995
161995
Strong modes can change the world
FJ Henderson
Technical Report, Department of Computer Science, University of Melbourne, 1993
161993
Devices and Methods for a Speech-Based User Interface
I Agiomyrgiannakis, FJ Henderson
US Patent App. 14/711,264, 2016
152016
Run time type information in Mercury
T Dowd, Z Somogyi, F Henderson, T Conway, D Jeffery
International Conference on Principles and Practice of Declarative …, 1999
151999
The system can't perform the operation now. Try again later.
Articles 1–20