Open Access System for Information Sharing

JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 21, page. 21 - 58, 2011-01

12th International Conference on Database Theory, 2009-03-23

The Fourth ASIAN Symposium on Programming Languages and Systems, 2006-11-09

INFORMATION AND COMPUTATION, vol. 209, no. 12, page. 1519 - 1535, 2011-12

1st Workshop on Modules and Libraries for Proof Assistants, 2009-08-03

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 31, no. 1, 2008-12

SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01

POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014-01-23

OOPSLA, 2011-10-22

40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013-01-23

ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01

2023 한국화학공학회 가을총회발표대회 밎 국제학술대회, 2023-10-26

IEEE Transactions on Knowledge and Data Engineering, vol. 24, no. 12, page. 2113 - 2126, 2012-12

ICALP, 2013-07-08

ACM SIGPLAN NOTICES, vol. 43, no. 9, page. 353 - 365, 2008-09

The 13th ACM SIGPLAN International Conference on Functional Programming, 2008-09-24

INFORMATION SCIENCES, vol. 188, page. 151 - 169, 2012-04-01

Acta Informatica, vol. 50, no. 7-8, page. 359 - 380, 2013-12

Journal of Automated Reasoning, vol. 52, no. 2, page. 215 - 239, 2014-02

25th International Conference on Data Engineering, 2009-03-29