youtube.com
"Propositions as Types" by Philip Wadler
26 set.. 2015
121.5K visualizações
Computability, Philip Wadler
5 mai.. 2015
12.6K visualizações
IOHK | Prof. Philip Wadler, area leader, programming languages.
24 dez.. 2017
Ver tudo
homepages.inf.ed.ac.uk