Chieri Saito and
Atsushi Igarashi
, The Essence of Lightweight Family Polymorphism,
FTfJP 2007
The Proof of Theorems of FGJself (New Version)
A full version of the paper with (older) proofs.
Presentation slides (ppt).