Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Items

Details

1: Foundations
Introduction
Syntax
Operational semantics
Denotational semantics
Fixed points
2: Dynamic semantics
FL: a functional language
Naming
State
Control
Data
3: Static semantics
Simple types
Polymorphism and higher-order types
Type reconstruction
Abstract types
Modules
Effects describe program behavior
4: Pragmatics
Compilation
Garbage collection.

Browse Subjects

Show more subjects...

Statistics

from
to
Export