Fully Reflexive Intensional Type Analysis (2000)

by Valery Trifonov , Bratin Saha , Zhong Shao
Venue:In Fifth ACM SIGPLAN International Conference on Functional Programming
Citations:44 - 7 self

Document Versions

Fully Reflexive Intensional Type Analysis –Valery Trifonov, Bratin Saha, Zhong Shao — 2000 — In Fifth ACM SIGPLAN International Conference on Functional Programming
Fully Reflexive Intensional Type Analysis –Bratin Saha, Valery Trifonov, Zhong Shao — 2000 — In Fifth ACM SIGPLAN International Conference on Functional Programming
Fully reflexive intensional type analysis –Bratin Saha, Valery Trifonov, Zhong Shao — 2000 — In Proc. 2000 ACM SIGPLAN International Conference on Functional Programming
Fully reflexive intensional type analysis –Bratin Saha, Valery Trifonov, Zhong Shaodepartment, Computer Science — 2000 — In Fifth ACM SIGPLAN International Conference on Functional Programming