More recently Tim Sweeney has been working on dependent typing:
http://www.leafpetersen.com/leaf/publications/dtp2013/lambda-aleph-overview.pdf
http://arxiv.org/pdf/1307.5277v1.pdf
More recently Tim Sweeney has been working on dependent typing:
http://www.leafpetersen.com/leaf/publications/dtp2013/lambda-aleph-overview.pdf
http://arxiv.org/pdf/1307.5277v1.pdf