#4 Gabriela Moreira

https://is1-ssl.mzstatic.com/image/thumb/Podcasts221/v4/5a/32/99/5a3299ac-8487-eae2-1a31-f057e26e7a18/mza_14922962510080672963.jpg/600x600bb.jpg

Func Prog Podcast

Christoffer Ekeroth

13 episodes

5 days ago

This is the Func Prog Podcast, a podcast about functional programming.

Technology

RSS

All content for Func Prog Podcast is the property of Christoffer Ekeroth and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

This is the Func Prog Podcast, a podcast about functional programming.

Technology

https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/43451120/43451120-1744375386649-d547a0196329c.jpg

#4 Gabriela Moreira

Func Prog Podcast

1 hour 20 minutes 24 seconds

5 months ago

#4 Gabriela Moreira

Gabriela Moreira is the lead developer of Quint, a modern and executable specification language. We talk about formal methods, model checkers and how learning functional programming is not so much difficult as it is different

Topics covered:

Quint

Formal Methods

TLA+

Leslie Lamport

Model checking

Episode links:

Quint

TLA+

Philip Wadler - Propositions as Types

Gabriela's website

Logic for Programmers

Learn TLA+

Who Builds a House Without Drawing Blueprints?

Peter Alvaro - I see what you mean