Toward Hole-Driven Development with Liquid Haskell.

Patrick Redmond Gan Shen Lindsey Kuper

Published in: CoRR (2021)

Keyphrases

decision support
programming language
e learning
image processing
data structure
rapid development
information retrieval
genetic algorithm
metadata
multi agent
object oriented
design process