Andreas Arvidsson

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Active Learning

Programming Language

Evolutionary Algorithm

Image Processing

Top Venues

Lund University, Sweden (PHD)

Education History

Lund University, Sweden

PHD

Publications

Andreas Arvidsson, Moa Johansson, Robin Touche
Proving Type Class Laws for Haskell. CoRR (2018)
Andreas Arvidsson, Moa Johansson, Robin Touche
Proving Type Class Laws for Haskell. TFP (2016)