P. Jansson was the advisor of J-P Bernardy until his PhD in 2011.
PhD thesis: "A Theory of Parametric Polymorphism and an Application"