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