English Alan Mycroft Cited by user Duncan.Hull on 28 Aug 2012 Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge. He is a Fellow of Robinson College, Cambridge, where he is also director of studies for…
English Polymorphic recursion Cited by user 131.211.84.85 on 07 Jun 2011 In computer science, polymorphic recursion (also referred to as Milner–Mycroft typability or the Milner–Mycroft calculus) refers to a recursive parametrically polymorph…