Peter Sewell, Mike Hicks, Gareth Stoyle, Keith Wansbrough, Gavin Bierman
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
The recruitment and selection of young managers by British business 1930-2000 / (2004)
Thesis (Ph.D.)--University of Oxford, 2004.
Formal Type Soundness for Cyclone's Region System (2001)
Grossman, Dan, Jim, Trevor, Hicks, Mike, Wang, Yanling, Cheney, James
Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goals of Cyclone are to let programmers control data representations and memory management without...
Formal Type Soundness for Cyclone's Region System (2001)
Grossman, Dan, Jim, Trevor, Hicks, Mike, Wang, Yanling, Cheney, James
Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goals of Cyclone are to let programmers control data representations and memory management without...
Formal type soundness for Cyclone’s region system (2001)
Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, James Cheney
Formal type soundness for Cyclone’s region system (2001)
Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, James Cheney
Cyclone is a polymorphic, type-safe programming language derived from C. The primary design goals of Cyclone are to let programmers control data representations and memory management without...
Formal type soundness for Cyclone’s region system (2001)
Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, James Cheney
Cyclone is a polymorphic, type-safe programming language derived from C. The primary design goals of Cyclone are to let programmers control data representations and memory management without...
1 Introduction The purpose of this document is to provide a short introduction to PLAN and the basic usage of the implementation. It will be of help to people just starting with PLAN, although...