Eliminating Run-Time Errors with Agda – Computerphile

This content originally appeared on Computerphile and was authored by Computerphile

Print Share Comment Cite Upload Translate Updates

APA

Computerphile | Sciencx (2021-08-20T15:17:32+00:00) Eliminating Run-Time Errors with Agda – Computerphile. Retrieved from https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/

MLA

" » Eliminating Run-Time Errors with Agda – Computerphile." Computerphile | Sciencx - Friday August 20, 2021, https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/

HARVARD

Computerphile | Sciencx Friday August 20, 2021 » Eliminating Run-Time Errors with Agda – Computerphile., viewed ,<https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/>

VANCOUVER

Computerphile | Sciencx - » Eliminating Run-Time Errors with Agda – Computerphile. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/

CHICAGO

" » Eliminating Run-Time Errors with Agda – Computerphile." Computerphile | Sciencx - Accessed . https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/

IEEE

" » Eliminating Run-Time Errors with Agda – Computerphile." Computerphile | Sciencx [Online]. Available: https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/. [Accessed: ]

rf:citation

» Eliminating Run-Time Errors with Agda – Computerphile | Computerphile | Sciencx | https://www.scien.cx/2021/08/20/eliminating-run-time-errors-with-agda-computerphile/ |

Please log in to upload a file.

There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.

Related Posts