Results 1 to 4 of 4
Page 1 of 1
TypeTitleAuthor(s)YearViews
GMeta: A generic formal metatheory framework for first-order representations
Proceedings/Conference:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher:
Springer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/
Lee, G; Oliveira, BCDS; Cho, S; Yi, K201259
 
The implicit calculus: A new foundation for generic programming
Proceedings/Conference:
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Oliveira, BCDS; Schrijvers, T; Choi, W; Lee, W; Yi, K201255
 
Gene expression profiling of liver cancer stem cells by RNA-sequencing
Journal:
PLoS ONE
Publisher:
Public Library of Science. The Journal's web site is located at http://www.plosone.org/home.action
Ho, DWY; Yang, ZF; Yi, K; Lam, CT; Ng, MNP; Yu, WC; Lau, J; Wan, T; Wang, X; Yan, Z; Liu, H; Zhang, Y; Fan, ST2012262
 
The implicit calculus: A new foundation for generic programming
Proceedings/Conference:
ACM SIGPLAN Notices
Oliveira, BCDS; Schrijvers, T; Choi, W; Lee, W; Yi, K201266
 
Page 1 of 1
Export Records
Step 1: Select content and export format
  • Citation only
Step 2: Select export method
  • Download