My Media
Liste de visionnage
Se connecter

ComputerphileEliminating Run-Time Errors with Agda

2021 • E32    20 août 2021    19min
Ajouter la série à la liste de visionnage
A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.

Où regarder Computerphile - 2021 • E32

Get Plex on Your Devices

Free on 20+ platforms. Pick yours.
App StoreiOS & Apple TV
Google PlayAndroid
TVFire TV, Roku & more
See all supported devices →