Computerphile

Eliminating Run-Time Errors with Agda

2021 • E32    Aug 20, 2021    19m
A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.

Where to Watch Computerphile - 2021 • E32

 

  •   
  •   
  •   
  •   
  •   
  •   
  •   

Take Plex everywhere

Watch free anytime, anywhere, on almost any device.
See the full list of supported devices