Følg
Fergus Henderson
Fergus Henderson
Verifisert e-postadresse på google.com
Tittel
Sitert av
Sitert av
År
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
5251996
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
2802020
Mercury, an efficient purely declarative logic programming language
Z Somogyi, FJ Henderson, TC Conway
Australian Computer Science Communications 17, 499-512, 1995
1731995
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
1482016
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
1311999
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
82*1996
Accurate garbage collection in an uncooperative environment
F Henderson
Proceedings of the 3rd international symposium on Memory management, 150-156, 2002
782002
Determinism analysis in the Mercury compiler
F Henderson, Z Somogyi, T Conway
Australian Computer Science Communications 18, 337-346, 1996
641996
Code generation for Mercury
T Conway, F Henderson, Z Somogyi
441995
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
431995
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
422001
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
371994
Software engineering at Google
F Henderson
arXiv preprint arXiv:1702.01715, 2017
352017
Type classes in Mercury
D Jeffery, F Henderson, Z Somogyi
Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat …, 2000
342000
Compiling Mercury to high-level C code
F Henderson, Z Somogyi
Compiler Construction: 11th International Conference, CC 2002 Held as Part …, 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
Strong modes can change the world
FJ Henderson
Technical Report, Department of Computer Science, University of Melbourne, 1993
181993
Logic programming for the real world
Z Somogyi, F Henderson, T Conway, R O’Keefe
Proceedings of the ILPS 95, 83-94, 1995
171995
Devices and Methods for a Speech-Based User Interface
I Agiomyrgiannakis, FJ Henderson
US Patent App. 14/711,264, 2016
162016
Run time type information in Mercury
T Dowd, Z Somogyi, F Henderson, T Conway, D Jeffery
Principles and Practice of Declarative Programming: International Conference …, 1999
151999
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20