Type-Driven Development with Idris.

Jan de Muijnck-Hughes

Published in: J. Funct. Program. (2020)

Keyphrases

software engineering
knowledge based systems
real world
project management
data driven
case study
database systems
special case
probabilistic model
e government
website
decision making
business processes
data sets
design principles
st century
development environment