Toepassingen van functioneel modelleren aan de hand van abstracte algebra: hogere-orde effecten en automatische differentiatie KU Leuven
Abstracte algebra is het vakgebied dat de onderliggende algebraïsche structuren van een programmeertaal bestudeert, zoals ringen, mono\"iden en modules. Het geeft ons inzicht in de fundamentele eigenschappen en gedrag van die structuren. Het doel van dit werk is om abstracte algebra te gebruiken om twee verschillende concepten beter te begrijpen: computationele effecten en automatische differentiatie.
Het eerste deel van dit werk ...