In this talk we generalize the functional object model introduced by Pierce and Turner to a functional component model. This extension will require a notion of set types built on top of a higher order polymorphism lambda calculus.