Brady, Edwin
Biografické údaje: | Vysokoškolský pedagog počítačové vědy, odborník v oboru funkcionálního programování, zabývá se zejména programovacím jazykem Idris. Publikace v oboru. |
---|---|
Alternativně jako: |
Brady, Edwin Charles Brady, Edwin C. |
Zdroj: |
Brady, Edwin: Type-driven development with Idris, c2017 LC (Names), cit. 3. 1. 2020 www(University of St Andrews), cit. 3. 1. 2020 www(osobní stránka), cit. 3. 1. 2020 www(uk.linkedin.com), cit. 3. 1. 2020 |