The little typer - Friedman, Daniel P. 1944-; Christiansen, David Thrane (The MIT Press, 2018)
Includes index
Keywords: Functional programming (Computer science); Logic programming; Computer logic; Type theory; Typentheorie