| A polymorphic type system for Prolog A Mycroft, RA O'Keefe Artificial intelligence 23 (3), 295-307, 1984 | 529 | 1984 |
| Abstract interpretation and optimising transformations for applicative programs A Mycroft The University of Edinburgh, 1982 | 339 | 1982 |
| Polymorphic type schemes and recursive definitions A Mycroft International Symposium on Programming: 6th Colloquium Toulouse, April 17–19 …, 1984 | 308 | 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: Proceedings of the Fourth ‘Colloque …, 1980 | 267 | 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 | 181 | 1986 |
| Type-based decompilation (or program reconstruction via type reconstruction) A Mycroft Programming Languages and Systems: 8th European Symposium on Programming …, 1999 | 162 | 1999 |
| Stepwise Development of Operational and Denotational Semantics for Prolog. ND Jones, A Mycroft SLP 84, 281-288, 1984 | 148 | 1984 |
| 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 | 144 | 2013 |
| On the relationship of CCS and Petri nets U Goltz, A Mycroft Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July …, 1984 | 128 | 1984 |
| Coeffects: a calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ACM SIGPLAN Notices 49 (9), 123-135, 2014 | 98 | 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 | 91 | 2009 |
| Redux: A dynamic dataflow tracer N Nethercote, A Mycroft Electronic Notes in Theoretical Computer Science 89 (2), 149-170, 2003 | 75 | 2003 |
| Java 8 in action RG Urma, M Fusco, A Mycroft Manning publications, 2014 | 71 | 2014 |
| A relational framework for abstract interpretation A Mycroft, ND Jones Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005 | 69 | 2005 |
| A statically allocated parallel functional language A Mycroft, R Sharp Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000 | 66 | 2000 |
| Task partitioning for multi-core network processors R Ennals, R Sharp, A Mycroft Compiler Construction: 14th International Conference, CC 2005, Held as Part …, 2005 | 64 | 2005 |
| 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 | 63 | 2015 |
| Linear types for packet processing R Ennals, R Sharp, A Mycroft ESOP 4, 204-218, 2004 | 58 | 2004 |
| Coeffects: Unified static analysis of context-dependence T Petricek, D Orchard, A Mycroft Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 55 | 2013 |
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeZweryfikowany adres z kent.ac.uk
