© Oxford University
This podcast series consists of occasional lectures and seminars on the mathematics of program construction  the use of clear, precise mathematical techniques in the development of programs and in proving them correct. In particular, there is a focus on equational reasoning directly with the program text, as opposed to indirect arguments involving a separate formalism such as predicate calculus. For more information, see the webpage of the Algebra of Programming Research Group in the Department of Computer Science at Oxford:
http://www.cs.ox.ac.uk/activities/algprog/
en
Mon, 24 Feb 2020 15:03:09 +0000
http://www.cs.ox.ac.uk/activities/algprog/
Algebra of Programming
Oxford University
Oxford University
podcasts@it.ox.ac.uk
no
http://mediapub.it.ox.ac.uk/sites/fred/files/default_images/defaultradcliffe.jpg
Algebra of Programming
http://www.cs.ox.ac.uk/activities/algprog/

1
functional programming
matrix determinant
Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010
http://rss.oucs.ox.ac.uk/tag:20200224:150309:000:file:309862:video
http://media.podcasts.ox.ac.uk/comlab/comsci/bird2010.mp4
Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010
Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010
functional programming,matrix determinant
Richard Bird
1683
Mon, 24 Feb 2020 15:03:09 +0000

2
functional programming
BirdMeertens Formalism
program calculation
Lectures at Utrecht University, 16th and 17th December 1986.
http://rss.oucs.ox.ac.uk/tag:20200224:150049:000:file:309861:video
http://media.podcasts.ox.ac.uk/comlab/comsci/Bird1986TheoryOfLists.mp4
Lectures at Utrecht University, 16th and 17th December 1986.
Lectures at Utrecht University, 16th and 17th December 1986.
functional programming,BirdMeertens Formalism,program calculation
Richard Bird
9185
Mon, 24 Feb 2020 15:00:49 +0000