Lambda the Ultimate

PhD student at Imperial College London, studying object-oriented programming language design and type theory.

Object-oriented programming languages, wildcards and generics in Java, ownership types, virtual classes/family polymorphism, existential types.