Simon Peyton Jones, Erik Meijer  Home/Search
Context Related
| microsoft.com/~simonpj/Pap...henk.ps.gz microsoft.com/Users/simonp...henk.ps.gz microsoft.com/~simonpj/Pap...henk.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/~simonpj/P...papers (more) From: microsoft.com/Users/simo...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: There is growing interest in the use of richly-typed intermediate languages in sophisticated compilers for higher-order, typed source languages. These intermediate languages are typically stratified, involving terms, types, and kinds. As the sophistication of the type system increases, these three levels begin to look more and more similar, so an attractive approach is to use a single syntax, and a single data type in the compiler, to represent all three. The theory of so-called pure type... (Update)
Context of citations to this paper: More
...for compilation of languages like ML and Haskell that have sophisticated polymorphic type systems. Recently, Meijer and Peyton Jones [46] suggested using the cube as a basis for typed intermediate languages. This strategy builds on a well established practice of using...
...using one or more typed intermediate languages. Explicitly typed intermediate languages o#er several benefits to the compiler writer [20, 19, 25, 21]. First, type information can guide program analyses and transformations. Second, some applications need accurate type information...
Cited by: More
A Typed Intermediate Language for Flow-Directed Compilation - Wells, Dimock, Muller.. (1997) (Correct)
Program Representation Size in an Intermediate.. - Dimock.. (2000) (Correct)
The triVM intermediate language reference manual - Johnson (2002) (Correct)
Active bibliography (related documents): More All
0.0: An Extended Calculus of Constructions - Luo (1990) (Correct)
0.0: ECC, an Extended Calculus of Constructions - Luo (1989) (Correct)
0.0: A Higher-order Calculus and Theory Abstraction - Luo (1988) (Correct)
Similar documents based on text: More All
0.3: Type-Preserving Compilation of Featherweight Java - League, Shao, Trifonov (2002) (Correct)
0.3: Template Meta-programming for Haskell - Sheard, Jones (2002) (Correct)
0.3: Under consideration for publication in J. Functional.. - Simon Peyton Jones (Correct)
Related documents from co-citation: More All
19: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
12: Typed closure conversion - Minamide, Morrisett et al. - 1996
12: Compiling with Types (context) - Morrisett - 1995
BibTeX entry: (Update)
S. Peyton Jones and E. Meijer. Henk: a typed intermediate language. In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation, June 1997. http://citeseer.ist.psu.edu/peytonjones97henk.html More
@misc{ jones97henk,
author = "S. Jones and E. Meijer",
title = "Henk: a typed intermediate language",
text = "S. Peyton Jones and E. Meijer. Henk: a typed intermediate language. In
Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation, June 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/peytonjones97henk.html" }
Citations (may not include all citations):382 Lambda calculi with types - Barendregt - 1992 ACM
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM DBLP
161 A short cut to deforestation - Gill, Launchbury et al. - 1993 ACM DBLP
121 Higherorder modules and the phase distinction - Harper, Mitchell et al. - 1990
46 The calculus of constructions (context) - Coquand, Huet - 1988 ACM DBLP
46 Deriving structural hylomorphisms from recursive definitions - Hu, Iwasaki et al. - 1996
1 Interpr'etation foctionelle et 'elimination des coupures dan.. (context) - Girard - 1972
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/~simonpj/Papers/papers.html): More
Compiling Haskell by program transformation: a report from the.. - Jones (1996) (Correct)
Composing Haggis - Finne, Jones (1995) (Correct)
Final report on the GRASP project - Jones, Wadler, Hall, Hammond.. (1993) (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