Title: Constructive foundations for functional languages
Subjects: Functional programming languages