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