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



Melden Sie sich an, um einen Kommentar hinzuzufügen