M
onad_
M
emo_
D
P
Dependents
2018
Optimal Binary Search Trees
by
Tobias Nipkow
and
Dániel Somogyi
May 27
Hidden Markov Models
by
Simon Wimmer
May 25