A
Alan Mycroft
Researcher at University of Cambridge
Publications - 139
Citations - 3478
Alan Mycroft is an academic researcher from University of Cambridge. The author has contributed to research in topics: Concurrency & Compiler. The author has an hindex of 28, co-authored 137 publications receiving 3343 citations. Previous affiliations of Alan Mycroft include Indian Institute of Technology Bombay & Chalmers University of Technology.
Papers
More filters
Journal ArticleDOI
A polymorphic type system for PROLOG.
Alan Mycroft,Richard A. O'Keefe +1 more
TL;DR: A polymorphic type scheme for Prolog is described which makes static type checking possible and it is observed that the type resolution problem for a Prolog program is another Prolog (meta)program.
Book ChapterDOI
Kilim: Isolation-Typed Actors for Java
Sriram Srinivasan,Alan Mycroft +1 more
TL;DR: Kilim is a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra-lightweight, cooperatively-scheduled threads, (ii) a message-passing framework and (iii) isolation-aware messaging.
Book ChapterDOI
Polymorphic Type Schemes and Recursive Definitions
TL;DR: An extension to Milner's polymorphic type system is proposed and proved correct and the class of languages with mutually recursive top-level definitions can be ascribed a more general type than before.
Book ChapterDOI
The Theory and Practice of Transforming Call-by-need into Call-by-value
TL;DR: Call-by-need (which is an equivalent but more efficient implementation of call-By-name for applicative languages) is quite expensive with current hardware and also does not permit full use of the tricks associated with the cheaper call- by-value.