http://ir.sinica.edu.tw/handle/201000000A/81744| 題名: | Not by Equations Alone: Reasoning with Extensible Effects | 作者: | Oleg Kiselyov Shin-Cheng Mu Amr Sabry |
公開日期: | 2021-01 | 關聯: | Journal of Functional Programming 31, e2 | URI: | http://ir.sinica.edu.tw/handle/201000000A/81744 | ISSN: | http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=0956-7968&DestApp=JCR&RQ=IF_CAT_BOXPLOT |
| 顯示於： | 資訊科學研究所 |
在 IR 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。