Impliciete codegeneratie voor polymorfisme KU Leuven
Met almaar groter en complexer wordende softwareprojecten neemt het belang van geavanceerde programmeertalen toe om de ontwikkeling van software beheersbaar te houden. Een belangrijk aspect van een degelijke programmeertaal is het typesysteem. Een voldoende krachtig statisch typesysteem kan niet enkel fouten vermijden, maar kan ook impliciet veelvoorkomende code genereren. Deze thesis verbetert twee vormen van impliciete type-gestuurde ...