Compositional and Lightweight Dependent Type Inference for ML : Center for Science of Information

Skip to main content

Purdue University

Purdue University

Compositional and Lightweight Dependent Type Inference for ML
Posted in Posters : Monday, June 3, 2013

Presented as a part of the 2013 Science of Information Summer School

/group/27/posters/He_Zhu.pdf