Domain-Free Pure Type Systems (1993)

Cached

Download Links

by Gilles Barthe , Morten Heine Sørensen
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:40 - 8 self