reproduce:

http://researchr.org/publication/Owens2016functionalbigstep/edit

Select Conference Series

European Symposium on Programming [Select] <–click

Submitted by Danny Groenewegen on 25 April 2016 at 13:59