Binder, David
(2024-11-15)
Statisch getypte funktionale Programmiersprachen sind auf zwei grundlegenden Theorien aufgebaut: Auf dem Lambdakalkül und auf der Theorie algebraischer Datentypen.
Wir erkennen diese beiden Theorien in der Kerngrammatik ...