Flexible Representation Analysis

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 8, 1997, Pages 85-98

  Shao, Zhong ^a  

^a Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346616755     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258949.258958     Document Type: Article

References (37)

1. A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
2. A. W. Appel. A critque of Standard ML. Journal of Functional Programming, 3(4):391-429, October 1993.
3. A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In M. Wirsing, editor, Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming, pages 1-13, New York, August 1991. Springer-Verlag.
4. J. Auslander, M. Philipose, C. Chambers, S. Eggers, and B. Bershad. Fast, effective dynamic compilation. In Proc. ACM SIGPLAN '96 Conf. on Prog. Lang. Design and Implementation, pages 149-159. ACM Press, 1996.
5. M. W. Bailey and J. W. Davidson. A formal model of procedure calling convention. In Twenty-second Annual ACM Symp. on Principles of Prog. Languages, pages 298-310, New York, Jan 1995. ACM Press.
6. N. S. Bjorner. Minimal typing derivations. In ACM SIGPLAN Workshop on ML and its Applications, pages 120-126, June 1994.
7. D. Clement, J. Despeyroux, T. Despeyroux, and G. Kahn. A simple applicative language: Mini-ML. In 1986 ACM Conference on Lisp and Functional Programming, New York, June 1986. ACM Press.
8. L. Damas and R. Milner. Principal type-schemes for functional programs. In Ninth Annual ACM Symp. on Principles of Prog. Languages, pages 207-212, New York, Jan 1982. ACM Press.
9. D. R. Engler. VCODE: A retargetable, extensible, very fast dynamic code generation system. In Proc. ACM SIGPLAN '96 Conf. on Prog. Lang. Design and Implementation, pages 160-170. ACM Press, 1996.
10. J. Y. Girard. Interpretation Fonctionnelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieur. PhD thesis, University of Paris VII, 1972.
11. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-first Annual ACM Symp. on Principles of Prog. Languages, pages 123-137, New York, Jan 1994. ACM Press.
12. R. Harper and J. C. Mitchell. On the type structure of Standard ML. ACM Trans. Prog. Lang. Syst., 15(2):211-252, April 1993.
13. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. Technical Report CMU-CS-94-185, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, September 1994.
14. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Twenty-second Annual ACM Symp. on Principles of Prog. Languages, pages 130-141, New York, Jan 1995. ACM Press.
15. F. Henglein and J. Jorgensen. Formally optimal boxing. In Proc. 21st Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 213-226. ACM Press, 1994.
16. M. P. Jones. Dictionary-free overloading by partial evaluation. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 107-117. University of Melbourne TR 94/9, June 1994.
17. G. Kane and J. Heinrich, editors. MIPS RISC Architecture. Prentice Hall, Englewood Cliffs, NJ, 1992.
18. P. Lee and M. Leone. Optimizing ML with run-time code generation. In Proc. ACM SIGPLAN '96 Conf. on Prog. Lang. Design and Implementation, pages 137-148. ACM Press, 1996.
19. X. Leroy. Unboxed objects and polymorphic typing. In Nineteenth Annual ACM Symp. on Principles of Prog. Languages, pages 177-188, New York, Jan 1992. ACM Press. Longer version available as INRIA Tech Report.
20. X. Leroy. Manifest types, modules, and separate compilation. In Twenty-first Annual ACM Symp. on Principles of Prog. Languages, pages 109-122, New York, Jan 1994. ACM Press.
21. D. B. MacQueen and M. Tofte. A semantics for higher order functors. In The 5th European Symposium on Programming, pages 409-423, Berlin, April 1994. Spinger-Verlag.
22. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990.
23. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
24. G. Morrisett. Compiling with Types. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 1995. Tech Report CMU-CS-95-226.
25. R. Morrison, A. Dearle, R. C. H. Connor, and A. L. Brown. An ad hoc approach to the implementation of polymorphism. ACM Trans. Prog. Lang. Syst., 13(3), July 1991.
26. S. L. Peyton Jones and J. Launchbury. Unboxed values as first class citizens in a non-strict functional language. In The Fifth International Conference on Functional Programming Languages and Computer Architecture, pages 636-666, New York, August 1991. ACM Press.
27. E. Poulsen. Representation analysis for efficient implementation of polymorphism. Master's thesis, DIKU, University of Copenhagen, 1993.
28. J. C. Reynolds. Towards a theory of type structure. In Proceedings, Colloque sur la Programmation, Lecture Notes in Computer Science, volume 19, pages 408-425. Springer-Verlag, Berlin, 1974.
29. Z. Shao. Compiling Standard ML for Efficient Execution on Modern Machines. PhD thesis, Princeton University, Princeton, NJ, November 1994. Tech Report CS-TR-475-94.
30. Z. Shao. Flexible representation analysis. Technical Report YALEU/DCS/RR-1125, Dept. of Computer Science, Yale University, New Haven, CT, 1997.
31. Z. Shao. A overview of the FLINT/ML compiler. In To appear in 1997 ACM Workshop on Types in Compilation, June 1997.
32. Z. Shao. Typed cross-module compilation. Technical Report YALEU/DCS/RR-1126, Dept. of Computer Science, Yale University, New Haven, CT, 1997.
33. Z. Shao and A. W. Appel. A type-based compiler for Standard ML. In Proc. ACM SIGPLAN '95 Conf. on Prog. Lang. Design and Implementation, pages 116-129. ACM Press, 1995.
34. D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proc. ACM SIGPLAN '96 Conf. on Prog. Lang. Design and Implementation, pages 181-192. ACM Press, 1996.
35. D. R. Tarditi. Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 1996. Tech Report CMU-CS-97-108.
36. P. J. Thiemann. Unboxed values and polymorphic typing revisited. In The Seventh International Conference on Functional Programming Languages and Computer Architecture, pages 24-35, New York, June 1995. Spinger-Verlag.
37. A. K. Wright. Polymorphism for imperative languages without imperative types. Technical Report Tech Report TR 93-200, Dept. of Computer Science, Rice University, Houston, Texas, February 1993.