A. Dimock, R. Muller, F. Turbak, and J. B. Wells. Strongly typed flow-directed reprsentation transformations. In ACM SIGPLAN International Conference on Functional Programming, pages 85--98, Amsterdam, June 1997. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
TIL: A Type-Directed, Optimizing Compiler for ML - Tarditi, Morrisett, Cheng.. (1995) (139 citations) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (6 citations) (Correct)
From System F to Typed Assembly Language - Extended Version Greg (Correct)
Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998) (44 citations) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (6 citations) (Correct)
Stack-Based Typed Assembly Language - Morrisett, Crary, Glew, Walker (1998) (44 citations) (Correct)
From System F to Typed Assembly Language - Greg Morrisett (1998) (6 citations) (Correct)
From System F to Typed Assembly Language (Extended Version) - Morrisett, Walker, Crary.. (1997) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (6 citations) (Correct)
Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998) (44 citations) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (6 citations) (Correct)
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) (Correct)
Retrospective: - Til Type-Directed Optimizing (Correct)
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
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