On the Expressive Power of Indexed Applicative and Monadic Structures

Jan Malakhovski

Downloads: