Login / Signup
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study.
Dominique Devriese
Published in:
Haskell@ICFP (2019)
Keyphrases
</>
negative impact
negative effects
positive effects
factorial design
interaction effects
test bed
sparse representation
case study
database
individual level
causal effects
object oriented
open source
decision trees
computer vision
artificial intelligence
data mining
functional programming
databases