FP related videos, a programming contest, and a reminder

[Rob Stewart]

Hi,

You might all appreciate pointers to the recordings of two interesting talks given in the last month or so. They both give insightful accounts on the history of Functional Programming and the lambda calculus, and how we got to where we are now.

- Talk 1

Speaker: Phil Wadler

Title: This history of the lambda calculus

Venue: SICSA PhD conference, Glasgow Caledonian

Video: http://www.youtube.com/watch?v=OUtUTKgfDbw

- Talk 2 (best utilized if the notes are followed closely throughout - they are chronologically well matched)

Speaker: David Turner

Title: Some History on Functional Programming Languages

Venue: Trends in Functional Programming, St. Andrews

Slides: http://www-fp.cs.st-andrews.ac.uk/tifp/TFP2012/TFP_2012/Turner.pdf

Video: http://www.youtube.com/watch?v=-MHOgyd-1lc

Next... there is a 3 day functional programming contest this weekend coming. The ICFP programming contest happens every year, and is a popular international challenge. It's better to participate in teams:

http://icfpcontest2012.wordpress.com/

Lastly, don't forget that we've got a talk next Tuesday 10th July at 7pm:

Speaker: Sven-Bod Sholz

Title: Aiming for HP3: High-Productivity, High-Performance, and High-Portability

Details: http://www.edlambda.co.uk/july-meetup---10-07-2012

--

Rob

[Sean Murphy]

Hey Rob,
Is there any sign of Phil Wadler's slides for this talk? ... because I completely cannot see the screen.
Cheers
Sean

--
http://edlambda.co.uk/
 
You've received this message because you are subscribed to the Google Groups EdLambda group. To post to this group, send an email to edla...@googlegroups.com. To unsubscribe from this group, send an email to edlambda+u...@googlegroups.com. For more options, visit this group at https://groups.google.com/d/forum/edlambda?hl=en-GB

[Philip Wadler]

Slides are posted on my web site:

http://homepages.inf.ed.ac.uk/wadler/topics/recent.html#churchs-coincidences

Yours, -- P

--
.\ Philip Wadler, Professor of Theoretical Computer Science
./\ School of Informatics, University of Edinburgh
/ \ http://homepages.inf.ed.ac.uk/wadler/

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

[Belikov, Evgenij]

Hi Sean,

Phil Wadler's slides are on his webpage:
http://homepages.inf.ed.ac.uk/wadler/topics/recent.html#churchs-coincidences

Cheers,
Evgenij

---

Heriot-Watt University is the Sunday Times Scottish University of the Year 2011-2012.

Heriot-Watt University is a Scottish charity registered under charity number SC000278.