Re: Functional Fall (hoping for notes)

[Dan Mead <d.w.mead@gmail.com>]

Good meeting!

I recommend watching some talks by Phillip Wadler. He's worked with peyton-jones on a number of projects (including Haskell) and tries to be a Bill Nye sort of dude for computer science.

Some interesting stuff, with video

-a cute explanation of logic stuff in type systems (3 minutes)

http://www.youtube.com/watch?v=KYeys_in_Ng 

-his tech talk on proving program correctness ( an hour)

http://video.google.com/videoplay?docid=-4167170843018186532

-Peyton-jones's book on langauge design, with some chapters by Wadler. I've used this as source for a Haskell to Clojure translator I've been writting.

http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/index.htm

And the rest of Peyton-jones's papers, there is lots of useful stuff here

http://research.microsoft.com/en-us/um/people/simonpj/papers/papers.html

Cherio!


Dan

On Wed, Sep 21, 2011 at 10:13 PM, Nicholas Canzoneri <ac3522@gmail.com> wrote:

Hey guys,

Here are the notes for the meeting: https://github.com/ac3522/awkward-squad

Let me know if I messed anything up.

For those of you not at the meeting, the paper for next week is The Zippers: http://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf

Cheers,

Nick

On Wed, Sep 21, 2011 at 19:33, Trevor Lalish-Menagh <trev@trevreport.org> wrote:

I'm sorry that I had to leave early tonight. My wife is pretty sick,
and I have to take care of her. We were hoping it would be better
today but no such luck.

In any case I am looking forward to the notes and what the next paper
will be. I really enjoyed "Tackling the Awkward Squad." I feel like i
understand what a monad is now. :)

I'll see you all in a couple weeks!

Yours,
Trevor
--
Trevor Lalish-Menagh
(484) 868-6150
trev@trevmex.com
http://www.trevmex.com

--
Nick Canzoneri
ac3522@gmail.com
@ac3522