| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2009 | Algebra of programming in Agda: dependent types for relational program derivation | Mu, S-C.; Ko, H-S.; Jansson, P. | Journal of Functional Programming 19, 545-579 | |||
| 2008 | Algebra of programming using dependent types | Mu, S-C.; Ko, H-S.; Jansson, P. |
