Eliminating Run-Time Errors with Agda - Computerphile

Опубликовано: 20 Август 2021
на канале: Computerphile
65,574
1.9k

A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.

  / computerphile  
  / computer_phile  

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: https://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com


Смотрите видео Eliminating Run-Time Errors with Agda - Computerphile онлайн, длительностью часов минут секунд в хорошем качестве, которое загружено на канал Computerphile 20 Август 2021. Делитесь ссылкой на видео в социальных сетях, чтобы ваши подписчики и друзья так же посмотрели это видео. Данный видеоклип посмотрели 65,574 раз и оно понравилось 1.9 тысяч посетителям.