J. Gregory Morrisett. Data representations and polymorphic languages. PhD thesis proposal, December 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Using Program Structure to Guide Optimization in the Presence of.. - Tarditi (1994) (Correct)
....code seriously. Data representation can be dealt with by using intensional polymorphism [22] which can give programmers tight control over data representation using flat types. However, the implementation and design of languages using intensional polymorphism is the subject of active research [38], so I will not use this approach in my thesis. Instead, I will use ad hoc approaches to ensure that integer and floating point arrays are flattened. Specifically, there will be three kinds of arrays: flattened integer arrays, flattened floating point arrays, and polymorphic arrays. The array ....
J. Gregory Morrisett. Data representations and polymorphic languages. PhD thesis proposal, December 1993.
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