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

## How To Be More ProductiveAdd to your list(s) Download to your calendar using vCal - Graham Hutton, University of Nottingham
- Friday 11 November 2011, 16:00-17:00
- LG52 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. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- LG52 Learning Centre
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsCentre for Systems Biology Coffee Mornings Analysis seminar Molecular and Medical Physics Seminar Series## Other talksQuantum Sensing in Space Wave turbulence in the Schrödinger-Helmholtz equation The tragic destiny of Mileva Marić Einstein Proofs of Turán's theorem TBA Life : it’s out there, but what and why ? |