Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams.评价结果

评估详情