Suggesting valid hole fits for typed-holes (experience report).

Matthías Páll Gissurarson

Published in: Haskell@ICFP (2018)

Keyphrases

higher order
artificial intelligence
artificial neural networks
lambda calculus
inter annotator agreement
data sets
neural network
machine learning
website
preprocessing
trade off