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

Document Versions

A bidirectional refinement type system for LF –William Lovas, Frank Pfenning — Electronic Notes in Theoretical Computer Science, 196:113–128, January 2008. [NPP07] [Pfe92] [Pfe93] [Pfe01] Aleksandar Nanevski, Frank Pfenning, and Brigitte
A bidirectional refinement type system for LF –William Lovas, Frank Pfenning — Electronic Notes in Theoretical Computer Science, 196:113–128, January 2008. [NPP07] [Pfe92] [Pfe93] [Pfe01] Aleksandar Nanevski, Frank Pfenning, and Brigitte
A bidirectional refinement type system for LF –William Lovas, Frank Pfenning — Electronic Notes in Theoretical Computer Science, 196:113–128, January 2008. [NPP07] [Pfe92] [Pfe93] [Pfe01] Aleksandar Nanevski, Frank Pfenning, and Brigitte
A bidirectional refinement type system for LF –William Lovas, Frank Pfenning, William Lovas, Frank Pfenning — 2007