Haskell Talks

Event Link: meetup.com/NY-Haskell/events/126945882/

This talk will sketch some connections at the foundations of semantics (of programming languages, logics, formal systems in general). In various degrees of abbreviation, we will present Galois Connections, Lawvere Theories, adjoint functors and their relationship to syntax and semantics, and the core notion behind abstract interpretation. At each step we'll draw connections, trying to show why these are good tools to think with even as we're solving real world problems and building tools and libraries others will find simple and elegant to use.

Suggested Reading:

logicmatters.net/resources/pdfs/Galois.pdf
dpmms.cam.ac.uk/~martin/Research/Publications/2007/hp07.pdf
tac.mta.ca/tac/reprints/articles/5/tr5abs.html

j vimeo.com/72870861

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…