Towards an ML-Style Polymorphic Type System for C Export

@inproceedings{citeulike:2818334, abstract = {. Advanced polymorphic type systems have come to play an important role in the world of functional programming. But, curiously, these type systems have so far had little impact upon widely-used imperative programming languages like C and C++. We show that ML-style polymorphism can be integrated smoothly into a dialect of C, which we call Polymorphic C. It has the same pointer operations as C, including the address-of operator \&, the dereferencing operator , and pointer arithmetic. Our type...}, author = {Smith, Geoffrey and Volpano, Dennis M.}, booktitle = {European Symposium on Programming}, citeulike-article-id = {2818334}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.5634}, keywords = {polymorphism}, pages = {341--355}, posted-at = {2008-05-21 07:22:31}, priority = {2}, title = {Towards an ML-Style Polymorphic Type System for C}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.5634}, year = {1996} }

TY - CONF ID - citeulike:2818334 L3 - citeulike-article-id:2818334 N2 - . Advanced polymorphic type systems have come to play an important role in the world of functional programming. But, curiously, these type systems have so far had little impact upon widely-used imperative programming languages like C and C++. We show that ML-style polymorphism can be integrated smoothly into a dialect of C, which we call Polymorphic C. It has the same pointer operations as C, including the address-of operator &, the dereferencing operator , and pointer arithmetic. Our type... EP - 355 TI - Towards an ML-Style Polymorphic Type System for C T2 - European Symposium on Programming SP - 341 KW - polymorphism AU - Smith, Geoffrey AU - Volpano, Dennis PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.5634 ER -