Type-driven development with Idris

Research output: Contribution to journalBook/Film/Article review

Original languageEnglish
Pages (from-to)e16
Number of pages3
JournalJournal of Functional Programming
Volume30
DOIs
Publication statusPublished - 10 Jun 2020

Keywords

  • book review
  • programming
  • types
  • Idris programming language

Cite this