Calculating sized types

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328893 ◽

1999 ◽

Cited By ~ 11

Author(s):

Wei-Ngan Chin ◽

Siau-Cheng Khoo

Download Full-text