(Some) current and past projects

Type inference

• 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

Control operators

• Cupto