7 citations · 19 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 1 cited
Proving Type Class Laws for Haskell
Andreas Arvidsson, Moa Johansson, Robin Touche
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific d…
cs.LG2018★ 7 cited
Towards Machine Learning on data from Professional Cyclists
Agrin Hilmkil, Oscar Ivarsson, Moa Johansson +2
Professional sports are developing towards increasingly scientific training methods with increasing amounts of data being collected from laboratory tests, training sessions and com…