Turing-incomplete
37: Propositions as Types w/ Brian McKenna
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 0:52:33
- Mas informaciones
Informações:
Sinopsis
Propositions as Types Simple Energy Curry–Howard isomorphism Types and Programming Languages @parametricity Type safe printf Brian's talk at Strangeloop 2014
