This paper sketches an approach to pronoun reference resolution in context based on a dynamic incremental semantics for NL in polymorphic type theory. Our set-up provides full incrementality of processing, and can handle salience and pronoun resolution in context. An implementation of the system in Haskell, in ‘literate programming’ style, exists. The full literate source code can be found at http://www.cwi.nl/ jve/papers/02/rric.