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
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
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
INFORMATION SYSTEMS, vol. 36, no. 4, page. 808 - 823, 2011-06
Proof Systems for Program Logics, 2010-07-10
ACM SIGPLAN NOTICES, vol. 42, no. 9, page. 191 - 202, 2007-09
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01
2022 한국생물공학회 춘계학술발표대회 및 국제 심포지엄, 2022-04-15
2022 한국미생물 생명공학회 국제학술대회 및 정기학술대회, 2022-06-22