Edwin Brady

  1. home
  2. Author
  3. Edwin Brady
Edwin Brady

3 Published BooksEdwin Brady

Popular Books by Edwin Brady

Type-Driven Development with Idris
Type-Driven Development with Idris
View More

Type-Driven Development with Idris

By: Edwin Brady
Type Driven Development in Idris
Type Driven Development in Idris
View More

Type Driven Development in Idris

By: Edwin Brady
Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
View More

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)

By: Cezary Kaliszyk