A polymorphic type system for Prolog A Mycroft, RA O'Keefe Artificial intelligence 23 (3), 295-307, 1984 | 528 | 1984 |
Abstract interpretation and optimising transformations for applicative programs A Mycroft The University of Edinburgh, 1982 | 343 | 1982 |
Polymorphic type schemes and recursive definitions A Mycroft International Symposium on Programming, 217-228, 1984 | 316 | 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 | 295 | 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 | 177 | 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 |
Coeffects: a calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ACM SIGPLAN Notices 49 (9), 123-135, 2014 | 135 | 2014 |
On the relationship of CCS and Petri nets U Goltz, A Mycroft International Colloquium on Automata, Languages, and Programming, 196-208, 1984 | 135 | 1984 |
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 |
Polymorphism, subtyping, and type inference in MLsub S Dolan, A Mycroft Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 81 | 2017 |
Java 8 in Action: Lambdas, Streams, and functional-style programming RG Urma, M Fusco, A Mycroft Manning Publications Co., 2014 | 81 | 2014 |
Redux: A dynamic dataflow tracer N Nethercote, A Mycroft Electronic Notes in Theoretical Computer Science 89 (2), 149-170, 2003 | 77 | 2003 |
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 | 70 | 2000 |
Coeffects: Unified static analysis of context-dependence T Petricek, D Orchard, A Mycroft Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 69 | 2013 |
Task partitioning for multi-core network processors R Ennals, R Sharp, A Mycroft International Conference on Compiler Construction, 76-90, 2005 | 65 | 2005 |