Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)



Inicia sesión para agregar comentarios