Implicit Code Generation for Polymorphism KU Leuven
As software keeps growing in size and complexity, more sophisticated programming languages are needed to keep software development manageable. One important aspect in a capable programming language is its type system. A sufficiently powerful static type system can not only reduce bugs, but also implicitly generate common boilerplate code. This thesis improves upon on two forms of this implicit type-directed code generation, both in the ...