The Trellys Project  Tim Sheard  Aaron Stump  Stephanie Weirich  Trellys

First Page		Document Content
Date: 2014-06-03 10:59:23 Data types Program analysis Type system Software engineering Logic in computer science Dependently typed programming Type theory Programming language theory Theoretical computer science		The Trellys Project  Tim Sheard  Aaron Stump  Stephanie Weirich  Trellys  Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 69,47 KB Share Document on Facebook