Title: Pattern Calculus
Subjects: Logic design, Computer science, Calculus, data processing, Data structures (Computer science), Functional programming (Computer science), Lambda calculus, Datenstruktur, Mustervergleich, Lambda-Kalkül, Funktionale Programmierung, Typisierte Programmiersprache, Algebraischer Datentyp, Objektklasse, Typsystem, Typisierter Lambda-Kalkül, Abfrage