10 citations found. Retrieving documents...
X. Leroy. The e#ectiveness of type-based unboxing. In Workshop on Types in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published as Boston College Computer Science Dept. Technical Report BCCS-97-03.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

Constructed Product Result Analysis for Haskell - Baker-Finch, Glynn, Jones (2000)   (Correct)
Constructed Product Result Analysis for Haskell - Baker-Finch, Glynn, Jone (1999)   (Correct)
A Calculus with Polymorphic and Polyvariant Flow Types - Wells, Dimock, Muller, Turbak (1999)   (15 citations)  (Correct)
From System F to Typed Assembly Language - Extended Version Greg   (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998)   (6 citations)  (Correct)
On the Runtime Complexity of Type-Directed Unboxing - Minamide (1998)   (4 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 David (1998)   (6 citations)  (Correct)
Combining Generics, Pre-compilation and Sharing between.. - Kennedy, Syme (2004)   (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003)   (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