corecursive.com/006-type-driven-development-and-idris-with-edwin-brady
Preview meta tags from the corecursive.com website.
Linked Hostnames
15- 15 links tocorecursive.com
- 2 links totwitter.com
- 1 link tolink.chtbl.com
- 1 link toopen.spotify.com
- 1 link toovercast.fm
- 1 link topodcasts.apple.com
- 1 link topodcasts.google.com
- 1 link totraffic.libsyn.com
Thumbnail
Search Engine Appearance
Type Driven Development and Idris - CoRecursive Podcast
Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the way computer programming is done, by applying ideas from programming language theory.In this interview, we discuss dependent types,... […]
Bing
Type Driven Development and Idris - CoRecursive Podcast
Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the way computer programming is done, by applying ideas from programming language theory.In this interview, we discuss dependent types,... […]
DuckDuckGo
https://corecursive.com/006-type-driven-development-and-idris-with-edwin-bradyType Driven Development and Idris - CoRecursive Podcast
Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the way computer programming is done, by applying ideas from programming language theory.In this interview, we discuss dependent types,... […]
General Meta Tags
7- titleType Driven Development and Idris With Edwin Brady - CoRecursive Podcast
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
- generatorjekyll 4.2.0
- descriptionEdwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the way computer programming is done, by applying ideas from programming language theory.In this interview, we discuss dependent types,... […]
Open Graph Meta Tags
10
og:localeen_US- og:typewebsite
- og:titleType Driven Development and Idris - CoRecursive Podcast
- og:urlhttps://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
- og:site_nameCoRecursive Podcast
Twitter Meta Tags
10- twitter:creator@corecursive
- twitter:site@corecursive
- twitter:label1Written by
- twitter:data1Adam Gordon Bell
- twitter:label2Est. reading time
Link Tags
13- alternatehttps://corecursive.com/feed
- apple-touch-icon/assets/favicons/apple-touch-icon.png
- canonicalhttps://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
- icon/assets/favicons/favicon-32x32.png
- icon/assets/favicons/favicon-16x16.png
Links
30- https://corecursive.com
- https://corecursive.com/005-algebraic-domain-modelling-using-functions-with-debashish-ghosh
- https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady
- https://corecursive.com/007-total-programming-using-swift-with-andre-videla
- https://corecursive.com/about