University of Birmingham > Talks@bham > Theoretical computer science seminar > How To Be More Productive

How To Be More Productive

Add to your list(s) Download to your calendar using vCal

  • UserGraham Hutton, University of Nottingham
  • ClockFriday 11 November 2011, 16:00-17:00
  • HouseLG52 Learning Centre.

If you have a question about this talk, please contact Paul Levy.

Streams, or infinite lists, have many applications in functional programming, and are naturally defined using recursive equations. But how do we ensure that such equations make sense, i.e. that they actually produce well-defined streams? In this talk we present a new approach to this problem, based upon the topological notion of contractive functions on streams. In particular, we give a sound an complete representation theorem for contractive functions on streams, and show how this can be used to ensure that recursive stream equations are well-defined. The talk will be aimed at a general audience.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.