Type Theory Forall – Philip Wadler – Type Classes, Monads, Logic, Future of PL [video]

Your browser isn’t supported anymore. Update it to get the best YouTube experience and our latest features. Learn more

• 

  Microsoft Edge

• 

  Mozilla Firefox

• 

  Opera

• 

  Google Chrome

Remind me later