http://ir.sinica.edu.tw/handle/201000000A/40214| Title: | Algebra of programming in Agda: dependent types for relational program derivation | Authors: | Mu, S-C. Ko, H-S. Jansson, P. |
Issue Date: | 2009-09-01 | Relation: | Journal of Functional Programming 19, 545-579 | URI: | http://ir.sinica.edu.tw/handle/201000000A/40214 | ISSN: | http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=0956-7968&DestApp=JCR&RQ=IF_CAT_BOXPLOT |
| Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
