Michael Y. Levin

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
Recursive subtyping revealed (functional pearl) Proceedings of the fifth ACM SIGPLAN international conference on Functional programming	2015-09-11	Paper
Compiling regular patterns Proceedings of the eighth ACM SIGPLAN international conference on Functional programming	2015-07-02	Paper
Database Programming Languages Lecture Notes in Computer Science	2006-10-20	Paper
TinkerType: a language for playing with formal systems Journal of Functional Programming	2004-03-17	Paper
Recursive subtyping revealed Journal of Functional Programming	2003-06-23	Paper

Research outcomes over time

This page was built for person: Michael Y. Levin