Google Research

Subtyping a la Church

Radboud University Nijmegen (2007) (to appear)

Abstract

No abstract available; check out the Download or Google Scholar links above for publications details.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work