Combining effects and coeffects via grading.

Marco Gaboardi Shin-ya Katsumata Dominic A. Orchard Flavien Breuvart Tarmo Uustalu

Published in: ICFP (2016)

Keyphrases

data sets
digital libraries
automatic assessment
machine learning
learning algorithm
high level
wide range
learning environment
learning process