Robin Milner
Top View
- Introduction to the Literature on Programming Language Design Gary T
- Federated Computing Research Conference, FCRC’96, Which Is David Wise, Steering Being Held May 20 - 28, 1996 at the Philadelphia Downtown Marriott
- Concurrency Theory Name Passing, Contextual Equivalences
- Summary of the Core Contributions of My Dissertation
- UC Berkeley UC Berkeley Electronic Theses and Dissertations
- Fi Nal Report
- On the Origins of Bisimulation and Coinduction
- CALCULI for SYNCHRONY and ASYNCHRONY* Robin MILNER
- Keith WANSBROUGH
- Robin Milner 1934–2010 Verification, Languages, and Concurrency
- Shapechecker: Inferring and Reasoning About Shapes in Tensorflow
- Co-Authorship Proximity of A. M. Turing Award and John Von Neumann Medal Winners to the Disciplinary Boundaries of Computer Science
- The Space and Motion of Communicating Agents Robin Milner Frontmatter More Information
- Turing, Computing and Communication
- Mathematical Logic in Computer Science
- 3 Sep 2001 H Aresasmto.As,Tefc Htw Ieteslto Na in Solution the Give N We Do That We Case Fact Our the in Also, but Assumption
- Programs, Types, and Bayes Lucas Eduardo Morales
- Fundamentals of Programming Languages V Abstract Interpretation