Asymptotic improvement of computations over free monads (2008)

by J Voigtländer
Venue:Berlin / Heidelberg