Some resources on functional programming, types, logic, etc.

If you’ve got some time to kill I’d suggest heading over to Edsko de Vries’ presentations page where he’s collected a few slides and some notes on topics ranging from linear and separation logic to proof theoretical basics and category theory useful for functional programmers. Chances are that there will not be very much new knowledge here depending on your background but I found some of it enjoyable and useful in case I want to look something up but cannot be bothered to grab a book from the shelf and find what I am looking for myself.

This entry was posted in Haskell, Mathematics, TCS. Bookmark the permalink.

One Response to Some resources on functional programming, types, logic, etc.

  1. Anonymous says:

    Edsko de Vries’ talks page has moved to
    https://www.cs.tcd.ie/~devriese/talks/

    (even on his new homepage https://www.cs.tcd.ie/~devriese, the link has not been updated yet)

Leave a Reply

Your email address will not be published. Required fields are marked *