A Proof-Theoretic Assessment of Runtime Type Errors (1993)

Cached

Download Links

by Carl A. Gunter , Didier Rémy , Inria Rocquencourt
Venue:AT&T Bell Laboratories Technical Memo 11261921230 -43TM
Citations:8 - 1 self