1
目次: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
全文の入手
電子媒体 eBook