A bidirectional refinement type system for LF

Cached

Download Links

by William Lovas , Frank Pfenning
Venue:Electronic Notes in Theoretical Computer Science, 196:113–128, January 2008. [NPP07] [Pfe92] [Pfe93] [Pfe01] Aleksandar Nanevski, Frank Pfenning, and Brigitte
Citations:14 - 8 self