Higher-Order Polymorphic Sized Types for Safety Checks.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Browse the full APLAS paper archive.