Eliminating Run-Time Errors with Agda – Computerphile

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

Products You May Like

Articles You May Like

Is Your Privacy An Illusion? (Taking on Big Tech) – Smarter Every Day 263
How to Lie Your Way to $34 Billion [Nikola Motors Fraud]
News | Where Did Domesticated Horses Come From?
How to reduce bias in your workplace | The Way We Work, a TED series
Why the US is always hitting a "debt ceiling"

Leave a Reply

Your email address will not be published. Required fields are marked *