"Categories for the Working Hacker" by Philip Wadler

LogicSee more

Logic

Lambda Days 2018 - Philip Wadler - Categories for the Working HackerSee more

Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker

LofTech with Philip Wadler - Why some people use Functional Languages?See more

LofTech with Philip Wadler - Why some people use Functional Languages?

"Categories for the Working Hacker" by Philip WadlerSee more

'Categories for the Working Hacker' by Philip Wadler

(Programming Languages) in Agda = Programming (Languages in Agda) by Philip WadlerSee more

(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler

"Propositions as Types" by Philip WadlerSee more

'Propositions as Types' by Philip Wadler

Philip Wadler - Categories for the Working HackerSee more

Philip Wadler - Categories for the Working Hacker

Category Theory for the Working Hacker by Philip WadlerSee more

Category Theory for the Working Hacker by Philip Wadler

Category Theory for the Working HackerSee more

Category Theory for the Working Hacker

Events