(Some) current and past projects

OCaml Modules

• Fulfilling Ocaml Modules with Transparent Existentials

Code inference

• Ornaments
• Unique Inhabitants

Type inference

• Type inference with type abbreviations
• GADTS
• Coercions
• Moduling Abstract Types in Modules with Open Existential Types
• MLF: raising ML to the power of System F
• Partial type inference for System F based on type containment
• Subtyping Recursive Types modulo Associative Commutative Products

Concurrency

• Inheritance in the join calculus

Objects

• On the (un)reality of virtual types
• On the expression problem