Robin Milner's Talk at PLDI

Robin Milner's Talk at PLDI - #1

[Page #1] [Page #2]

These pictures are from Robin Milner's talk (he invented ML, among other things). I thought it was particularly interesting, but the images probably don't convey much of it. :)

(full image)

Bigraphs Overview

(full image)

Robin Milner Explaining

(full image)

Bigraphs Slide

(full image)

Example, arithmetic

(full image)

Example, security

(full image)

Robin Milner at projector

(full image)

Robin Milner by projector

(full image)

Ambient Calculus

(full image)

Pi calculus

(full image)

Distributed Pi Calculus

[Page #1] [Page #2]

[prev] [next] [up]