# Philip Wadler
Top podcast episodes
Updated:
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language.
Cardano Foundry Episode 002
More about flywheels, Alex Mashinsky, Defi, 'One network: many chains', Blockstack, ID systems, dr Ben Goertzel, AtariCoin,
* Celsius Fly-wheel and incoming Inflection point! [Alex Mashinsky and the CEL token] - Link* Celsius Network - Link* IOHK | Prof. Philip Wadler, area leader, program…
Functional Programming In Finance
Find out more on our website: https://bit.ly/3Jzlmz9
Functional programmers have long claimed that languages such as Haskell and O'Caml allow one to write code more quickly and more reliably. Widespread uptake of functional programming among the financial community supports that claim, and this ta…
Structure of a Programming Language Revolution by Richard P. Gabriel
Today we're discussing the so-called "incommensurability" paper: The Structure of a Programming Language Revolution by Richard P. Gabriel.
In the pre-show, Jimmy demands that Ivan come right out and explain himself, and so he does, to a certain extent at least. In the post-show, Jimmy draws such a…
Propositions as Types by Philip Wadler
The subject of this episode's paper — Propositions as Types by Philip Wadler — is one of those grand ideas that makes you want to go stargazing. To stare out into space and just disassociate from your body and become one with the heavens. Everything — life, space, time, existence — all of it is a j…
Gleaming the Lambda Cube with Nathan Mull
This week Nathan Mull, a type theorist and CS Professor at Boston University, came on the show to help Mike and Erik understand what the phrase "Propositions as Types" is all about. This is an idea about how programs are connected to logic and mathematical proofs, whether we want them to be or not!…
#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
…
There Can Be Only One
An airhacks.fm conversation with Maurice Naftalin (@mauricenaftalin) about:
experiences with Visual Age for Java and its visual programming approach with arrows connecting components,
working on British Department of Health and Social Security project using Visual Age for Java for benefit…
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler
Philip Wadler is a well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. He got his Bachelor in 1977 at Stanford, his Masters in 1979 and his PhD in 1984 both at CMU. In 2023, he was awarded the distingu…
Java Generics and Collections • Maurice Naftalin & Stuart Marks
This interview was recorded for the GOTO Book Club.http://gotopia.tech/bookclubCheck out more here:https://gotopia.tech/episodes/406Maurice Naftalin - Architect, Trainer & Co-Author of "Java Generics & Collections"Stuart Marks - Java & OpenJDK at Oracle & Technical Editor of "Java Generics & Collec…
Static Types Finally Come to the BEAM | Annette Bieniusa & Guillaume Duboc
Joe Armstrong once said anyone can write a type system covering 90% of Erlang — it's the remaining 10% that defeats even the brightest minds in computer science. He was referring to Philip Wadler. That was 1995. Thirty years later, the BEAM is finally converging on an answer.
In this episode, Alan …
PODCAST SEARCH ENGINE
You can use our website to search 3,820,628 podcasts and 195,237,931 episodes by people, places, or topics.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
EDIT
Thank you for helping to keep the podcast database up to date.
