L. Cardelli. The functional abstract machine. Polymorphism, 1(1), 1983. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Functional Low-Level Interpreters - Karczmarczuk (2002) (Correct)
Hardware/Software Co-Design using Functional Languages - Mycroft, Sharp (2001) (4 citations) (Correct)
Higher-Level Hardware Synthesis - Sharp (2002) (Correct)
Unboxed Objects and Polymorphic Typing - Leroy (1992) (155 citations) (Correct)
Abstract Machines for Programming Language Implementations - Diehl, Hartel, Sestoft (2000) (6 citations) (Correct)
A Reversible SE(M)CD Machine - Kluge (Correct)
Modeling Sharing and Recursion for Weak Reduction.. - Zine-El-Abidine.. (Correct)
Hardware/Software Co-Design using Functional Languages - Mycroft, Sharp (2001) (4 citations) (Correct)
A Novel Approach Towards Peephole Optimisations - Gill (1991) (1 citation) (Correct)
Hardware/Software Co-Design using Functional Languages.. - Mycroft, Sharp (2000) (4 citations) (Correct)
Techniques for Dynamic Software Migration - Attardi, Filotti, Marks (1988) (4 citations) (Correct)
ΓCMC: A Novel Way of Compiling Functional Languages - Lins, Lira (1992) (Correct)
Types and Polymorphism in Persistent Programming Systems - Connor (1990) (16 citations) (Correct)
Efficient Data Representation in . . . - Leroy (1990) (Correct)
Graph Reduction, and how to avoid it (extended abstract of talk) - Johnsson (1995) (Correct)
Delivering the Benefits of Persistence to System Construction and.. - Cutts (1992) (15 citations) (Correct)
Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (88 citations) (Correct)
A Standard ML Compiler - Appel, MacQueen (1987) (50 citations) (Correct)
Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (88 citations) (Correct)
Graph-based Operational Semantics of a Lazy Functional Language - Rose (1 citation) (Correct)
Typed Closure Conversion - Yasuhiko Minamide Greg (Correct)
Hardware/Software Co-Design Using Functional Languages - Mycroft, Sharp (2001) (4 citations) (Correct)
Applicative Programming and Specification - Gilmore (1993) (Correct)
Compiling a Functional Language - Cardelli (1984) (42 citations) Self-citation (Cardelli) (Correct)
First 50 documents
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