scrambled
Thoughts
Journeys
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming Language Theory
/
Chapter 1. Introduction
Benjamin C. Pierce
Types and programming languages
Benjamin C. Pierce
·
2002
Chapter 1. Introduction
Benjamin C. Pierce
Chapter 2. Mathematical preliminaries
Benjamin C. Pierce
Part I. Untyped systems
Benjamin C. Pierce
Concepts
Type System
Hoare Logic
Model Checker Type System Runtime Monitoring
Runtime Type Error
Safe Sound Type System
Language Safety
Type Safety Language Safety
Trapped Runtime Error Untrapped Runtime Error
Content
No content yet.
← Previous chapter
Types and programming languages
Next chapter →
Chapter 2. Mathematical preliminaries