User profiles for R Milner

Ross Milner

- Verified email at uchicago.edu - Cited by 4181

Rowan Milner

- Verified email at ufl.edu - Cited by 2907

[BOOK][B] The polyadic π-calculus: a tutorial

R Milner - 1993 - Springer
… See Milner [17J for a discussion contrasting the approaches. … barbed bisimulation, is studied
by Milner and Sangiorgi [22]. … For example, x N r Y (recall that x abbreviates xO), but x Ix 7-r

[HTML][HTML] Electron-Ion Collider: The next QCD frontier: Understanding the glue that binds us all

…, ZE Meziani, R McKeown, A Metz, R Milner… - The European Physical …, 2016 - Springer
This White Paper presents the science case of an Electron-Ion Collider (EIC), focused on
the structure and interactions of gluon-dominated matter, with the intent to articulate it to the …

Cisplatin: a review of toxicities and therapeutic applications

K Barabas, R Milner, D Lurie… - … and comparative oncology, 2008 - Wiley Online Library
Cisplatin is a platinum chemotherapeutic used in a variety of malignancies. The antineoplastic
activity occurs from DNA cross‐links and adducts, in addition to the generation of …

[BOOK][B] The definition of standard ML: revised

R Milner - 1997 - books.google.com
… declaration infix (L) directive infix (R) directive nonfix directive … A type r is an equality type, or
admits equality, if it is of one of … We consider a type r to be a type scheme, identifying it with V…

[BOOK][B] Communicating and mobile systems: the pi calculus

R Milner - 1999 - books.google.com
… In this book Robin Milner introduces a new way of modelling communication that reflects
its position. He treats computers and their programs as themselves built from communicating …

[BOOK][B] A calculus of communicating systems

R Milner - 1980 - Springer
… we shall need to adjust "~" slightly, but first we define r/s . we get it by working through r frQm
left to right, deleting in r any … hus r/s by a pemT~tation of s , but depends upon the order of r . …

A calculus of mobile processes, I

R Milner, J Parrow, D Walker - Information and computation, 1992 - Elsevier
… First, to pass R as a parameter to Q may result in replication of R, … Second, to pass R as a
parameter gives Q access to the whole of R… (For example, R may communicate with still other …

A theory of type polymorphism in programming

R Milner - Journal of computer and system sciences, 1978 - Elsevier
… ROBIN MILNER In any 3 1 r?, and any binding let x0 in either $ or #, a type variable in o
which does not occur in (the type of) any enclosing hy7 or jix y, binding is called a generic type …

[HTML][HTML] Editor's choice–management of descending thoracic aorta diseases: clinical practice guidelines of the European Society for Vascular Surgery (ESVS)

…, A Evangelista, M Grabenwöger, R Milner… - European Journal of …, 2017 - Elsevier
1.1. Purpose The European Society for Vascular Surgery (ESVS) appointed the Descending
Thoracic Aorta (DTA) Writing Committee (WC) to produce the current clinical practice …

[PDF][PDF] Principal type-schemes for functional programs

L Damas, R Milner - Proceedings of the 9th ACM SIGPLAN-SIGACT …, 1982 - dl.acm.org
This paper is concerned with the polymorphic type discipline of NL, which is a general purpose
functional programming language, although it was first introduced as a metalanguage(…