Title: The Little Typer
Subjects: Functional programming (computer science), Logic programming