It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 23, 2008 | History
Edit

R. Milner

We need a photo of R. Milner

Born 1934

10 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: The definition of standard ML: revised

    First published in 1997 4 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Communicating and mobile systems: the [symbol for pi]-calculus

    First published in 1968 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computing Tomorrow: The Future of Research in Computer Science

    First published in 1996 2 editions in 1 language — 2 previewable Cover of edition computingtomorro00wand
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A calculus of communicating systems

    First published in 1980 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A Calculus of Communication Systems

    First published in 1982 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Commentary on Standard ML

    First published in 1990 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Communication and concurrency

    First published in 1989 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: definition of Standard ML

    First published in 1990 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Edinburgh LCF

    First published in 2007 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The space and motion of communicating agents

    First published in 2009 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of R. Milner

Born 1934
Subjects
Machine theory, Computer networks, Formal languages, ML (Computer program language), Computer science, Computers, Mathematical models, Telecommunication systems, COMPUTERS, Communication, Computable functions, Computer Books: Languages, Computer Programming Languages, Computers - Languages / Programming, Computers / Programming Languages / General, C♯, Digital communications, Electronic data processing, High level programming languages, Informatique, Informatique mobile, Intelligent agents (computer software), Java, Mathematics, Ml (computer program language)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL886357A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 23, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import