Browsing by Author Yi, K

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 4 of 4
TitleAuthor(s)Issue DateViews
 
2012
292
GMeta: A generic formal metatheory framework for first-order representations
Proceeding/Conference:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
69
The implicit calculus: A new foundation for generic programming
Proceeding/Conference:Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
2012
65
2012
75