()
- Department
- Major(s)
- -
Co-researchers
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-11 of 11 (Search time: 0.002 seconds).
Date issued
Type
Conference
2022 한국미생물 생명공학회 국제학술대회 및 정기학술대회, 2022-06-22
Conference
POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014-01-23
Conference
ICALP, 2013-07-08
Conference
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013-01-23
Conference
Proof Systems for Program Logics, 2010-07-10
Conference
1st Workshop on Modules and Libraries for Proof Assistants, 2009-08-03
Conference
25th International Conference on Data Engineering, 2009-03-29
Conference
12th International Conference on Database Theory, 2009-03-23
Conference
The 13th ACM SIGPLAN International Conference on Functional Programming, 2008-09-24
Conference
The Fourth ASIAN Symposium on Programming Languages and Systems, 2006-11-09
1