Title: Miranda
Subjects: Functional programming (computer science), Functional programming (Computer science)