Turing-incomplete
37: Propositions as Types w/ Brian McKenna
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 0:52:33
- Mais informações
Informações:
Sinopse
Propositions as Types Simple Energy Curry–Howard isomorphism Types and Programming Languages @parametricity Type safe printf Brian's talk at Strangeloop 2014
