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 | 528 | 1996 |
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 | 415 | 2020 |
Mercury, an efficient purely declarative logic programming language Z Somogyi, FJ Henderson, TC Conway Australian Computer Science Communications 17, 499-512, 1995 | 172 | 1995 |
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 | 158 | 2016 |
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 | 132 | 1999 |
Accurate garbage collection in an uncooperative environment F Henderson Proceedings of the 3rd international symposium on Memory management, 150-156, 2002 | 82 | 2002 |
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 | 81* | 1996 |
Determinism analysis in the Mercury compiler F Henderson, Z Somogyi, T Conway Australian Computer Science Communications 18, 337-346, 1996 | 62 | 1996 |
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 | 45 | 2001 |
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 | 44 | 1995 |
Code generation for Mercury T Conway, F Henderson, Z Somogyi | 42 | 1995 |
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 | 39 | 1994 |
Software engineering at Google F Henderson arXiv preprint arXiv:1702.01715, 2017 | 38 | 2017 |
Type classes in Mercury D Jeffery, F Henderson, Z Somogyi Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat …, 2000 | 34 | 2000 |
Compiling Mercury to high-level C code F Henderson, Z Somogyi Compiler Construction: 11th International Conference, CC 2002 Held as Part …, 2002 | 27 | 2002 |
The implementation technology of the Mercury debugger Z Somogyi, F Henderson Electronic Notes in Theoretical Computer Science 30 (4), 256-275, 2000 | 24 | 2000 |
Strong modes can change the world FJ Henderson Technical Report, Department of Computer Science, University of Melbourne, 1993 | 18 | 1993 |
Devices and Methods for a Speech-Based User Interface I Agiomyrgiannakis, FJ Henderson US Patent App. 14/711,264, 2016 | 16 | 2016 |
Logic programming for the real world Z Somogyi, F Henderson, T Conway, R O’Keefe Proceedings of the ILPS 95, 83-94, 1995 | 16 | 1995 |
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 | 15 | 1999 |