| A polymorphic type system for Prolog A Mycroft, RA O'Keefe Artificial intelligence 23 (3), 295-307, 1984 | 527 | 1984 |
| Abstract interpretation and optimising transformations for applicative programs A Mycroft The University of Edinburgh, 1982 | 342 | 1982 |
| Polymorphic type schemes and recursive definitions A Mycroft International Symposium on Programming, 217-228, 1984 | 315 | 1984 |
| Kilim: Isolation-Typed Actors for Java: (A Million Actors, Safe Zero-Copy Communication) S Srinivasan, A Mycroft ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008 | 293 | 2008 |
| The theory and practice of transforming call-by-need into call-by-value A Mycroft International symposium on programming, 269-281, 1980 | 276 | 1980 |
| Data flow analysis of applicative programs using minimal function graphs ND Jones, A Mycroft Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 186 | 1986 |
| Rendezvous: A search engine for binary code WM Khoo, A Mycroft, R Anderson 2013 10th Working Conference on Mining Software Repositories (MSR), 329-338, 2013 | 175 | 2013 |
| Type-based decompilation (or program reconstruction via type reconstruction) A Mycroft European Symposium on Programming, 208-223, 1999 | 163 | 1999 |
| Stepwise Development of Operational and Denotational Semantics for Prolog. ND Jones, A Mycroft SLP 84, 281-288, 1984 | 144 | 1984 |
| On the relationship of CCS and Petri nets U Goltz, A Mycroft International Colloquium on Automata, Languages, and Programming, 196-208, 1984 | 135 | 1984 |
| Coeffects: a calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ACM SIGPLAN Notices 49 (9), 123-135, 2014 | 133 | 2014 |
| A lightweight in-place implementation for software thread-level speculation CE Oancea, A Mycroft, T Harris Proceedings of the twenty-first annual symposium on Parallelism in …, 2009 | 94 | 2009 |
| Java 8 in Action: Lambdas, Streams, and functional-style programming RG Urma, M Fusco, A Mycroft Manning Publications Co., 2014 | 79 | 2014 |
| Redux: A dynamic dataflow tracer N Nethercote, A Mycroft Electronic Notes in Theoretical Computer Science 89 (2), 149-170, 2003 | 76 | 2003 |
| Polymorphism, subtyping, and type inference in MLsub S Dolan, A Mycroft Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 75 | 2017 |
| Source-code queries with graph databases—with application to programming language usage and evolution RG Urma, A Mycroft Science of Computer Programming 97, 127-134, 2015 | 72 | 2015 |
| A relational framework for abstract interpretation A Mycroft, ND Jones Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005 | 71 | 2005 |
| A statically allocated parallel functional language A Mycroft, R Sharp International Colloquium on Automata, Languages, and Programming, 37-48, 2000 | 69 | 2000 |
| Coeffects: Unified static analysis of context-dependence T Petricek, D Orchard, A Mycroft Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 68 | 2013 |
| Task partitioning for multi-core network processors R Ennals, R Sharp, A Mycroft International Conference on Compiler Construction, 76-90, 2005 | 65 | 2005 |
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeDirección de correo verificada de kent.ac.uk
