Chiyan Chen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Guarded recursive datatype constructors Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Meta-programming through typeful code representation Proceedings of the eighth ACM SIGPLAN international conference on Functional programming	2015-07-02	Paper
Combining programming with theorem proving Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
scientific article; zbMATH DE number 5033864 (Why is no real title available?)	2006-06-19	Paper
Meta-programming through typeful code representation Journal of Functional Programming	2005-11-28	Paper

Research outcomes over time

This page was built for person: Chiyan Chen