Date 24-27 June 2008
Filter Results
Displaying Results 1 - 25 of 53
-
[Front cover]
|
PDF (204 KB)
-
[Title page i]
|
PDF (39 KB)
-
[Title page iii]
|
PDF (61 KB)
-
[Copyright notice]
|
PDF (66 KB)
-
Table of contents
|
PDF (188 KB)
-
Foreword
|
PDF (148 KB)
-
Committee Lists
|
PDF (150 KB)
-
list-reviewer
|
PDF (138 KB)
-
-
-
-
Mechanizing the Metatheory of LF
|
PDF (290 KB)
-
-
Structural Logical Relations
|
PDF (265 KB)
-
Types for Hereditary Permutators
|
PDF (256 KB)
-
Context Matching for Compressed Terms
|
PDF (306 KB)
-
-
A Logic for Algebraic Effects
|
PDF (325 KB)
-
An Algebraic Process Calculus
|
PDF (288 KB)
-
-
-
-
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
|
PDF (337 KB)
-
-


