Author Info
Name
Affiliation
Papers
CHIYAN CHEN
Computer Science Department, Boston University
5
Collaborators
Citations 
PageRank 
5
95
5.37
Referers 
Referees 
References 
150
80
66
Search Limit
100150
Title
Citations
PageRank
Year
Combining programming with theorem proving562.442005
Meta-programming through typeful code representation210.962005
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell80.872004
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance20.432004
Implementing typeful program transformations80.672003