In this seminar, I will first give a very brief overview of contextual typing techniques. Then I will tell the status of my current work: contextual typing for polymorphic systems.

Main contents include motivation, roadmap, key ideas and challenges.