Zhong Shao and Andrew Appel. A typed-based compiler for Standard ML. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 116-129, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (10 citations) (Correct)
....to a real world language like C, bringing to it both the expressiveness of polymorphism as well as a rigorous characterization of the behavior of well typed programs. Future work on Polymorphic C includes the development of ecient implementations of polymorphism (perhaps using the work of [13,18,10]) and the extension of the language to include other features of C, especially structures. More precisely, allocating variables and arrays on a stack in Polymorphic C (or in any language with or that uni es arrays and pointers) causes the type preservation property to fail. 26 ....
Zhong Shao and Andrew Appel. A typed-based compiler for Standard ML. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 116-129, 1995.
Towards an ML-style Polymorphic Type System for C - Smith, Volpano (1996) (9 citations) (Correct)
....as a rigorous characterization of the behavior of well typed programs. Future work on Polymorphic C includes the development of a type inference algorithm (preliminary work indicates that this can be done straightforwardly) the development of an efficient implementation (perhaps using the work of [Le92, ShA95, HaM95]) and extending the language to include other features of C, especially structures. ....
Shao, Z. and Appel, A., A Typed-Based Compiler for Standard ML, Proc. 1995 Conf. on Programming Language Design and Implementation, pp. 116-- 129, 1995.
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (10 citations) (Correct)
....to a real world language like C, bringing to it both the expressiveness of polymorphism as well as a rigorous characterization of the behavior of well typed programs. Future work on Polymorphic C includes the development of efficient implementations of polymorphism (perhaps using the work of [13,18,10]) and the extension of the language to include other features of C, especially structures. 4 More precisely, allocating variables and arrays on a stack in Polymorphic C (or in any language with or that unifies arrays and pointers) causes the type preservation property to fail. ....
Zhong Shao and Andrew Appel. A typed-based compiler for Standard ML. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 116--129, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC