Chasing Your Curiosity and Continuous Learnin...
There’s joy that can be found in language l...
Buckle up, on today’s episode Adam intervie...
Legacy code is everywhere. I don't think I've...
The promise of functional programming is code...
Today I talk to Professor Philip Wadler, a ve...
When it comes to type systems "I am, so far, ...
Pat Helland has a wealth of knowledge on buil...
Andy Hunt is a celebrity in the world of soft...
Formal verification and type systems - how do...