Reasoning About Program Behavior Algebraically [pdf]

From experience (the last time slides for a talk by Stephen Diehl made its way to the HN frontpage), there's a lot of information in the actual (recorded) talk that the slides are going to be missing.

Re: Reasoning About Program Behavior Algebraically [pdf]

#8

Post by Luc » Sun, Dec 24, 2017, 1:20 PM UTC

Rainymood wrote: post #4

Sorry for being off-topic, but those slides are beautiful. Does anyone know what they're made in?

Google Slides.

Re: Reasoning About Program Behavior Algebraically [pdf]

#9

Post by empath75 » Sun, Dec 24, 2017, 4:12 PM UTC

Ezku wrote: post #3

alfonsodev wrote: post #2

Very interesting, What is the programming language used in the code examples ?

That's Haskell. Slides 4 & 5 also hint at that, although it's easy to miss: > Why Haskell is Interesting

Even if you never intend to use Haskell it’s well worth getting a basic understanding of it if you have an interest in CS theory just because it’s used so frequently in interesting talks and papers.

Re: Reasoning About Program Behavior Algebraically [pdf]

#10

Post by msangi » Sun, Dec 24, 2017, 6:26 PM UTC

mrkgnao wrote: post #7

From experience (the last time slides for a talk by Stephen Diehl made its way to the HN frontpage), there's a lot of information in the actual (recorded) talk that the slides are going to be missing.

Is the video available?