Tuesday, May 20, 2008
11:00am Meeting room 302 (Mountain View), level 3
Pablo Nogueira, Post-doctoral Researcher, Technical University of Madrid (UPM), Spain
Algebra of Programming
Abstract:
Due to lack of speaker, I’ll try to improvise a short talk about functional programming and the algebra of programming, with examples, from a programming perspective, about equational reasoning, functors, F-algebras, F-coalgebras, monads, etc, and as far as your patience goes.