Luca Cardelli
Current
Past
Me
Papers
Talks
Artifacts
Extra
HotPage
Martín Abadi
,
Luca Cardelli
eBook
(private)
Contents
Preface
Prologue
Table of Contents
Concept Map
Index
Frequently Asked Questions
Related Work
Related Courses
Software
About the Cover
Errata