Philip Wickline Peter Lee Frank Pfenning School of Computer Science Carnegie...  Home/Search
Context Related
| cmu.edu/afs/cs/user/fp/...pldi98ccam.ps cmu.edu/project/fox/...pldi98ccam.ps.gz cmu.edu/local/mosaic...pldi98ccam.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: cmu.edu/afs/cs/user/fp/www/pap... (more) From: cmu.edu/local/mosaic/c...homepage (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a typed programming language and compiler for run-time code generation. The language, called , extends ML with modal operators in the style of the e language of Davies and Pfenning. ML allows programmers to use types to specify precisely the stages of computation in a program. The types also guide the compiler in generating target code that exploits the staging information through the use of run-time code generation. The target machine is currently a version of the... (Update)
Cited by: More
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (Correct)
Staged Computation with Names and Necessity - Nanevski, Pfenning (2005) (Correct)
Similar documents (at the sentence level):
18.2%: Run-time Code Generation and Modal-ML - Wickline, Lee, Pfenning (1998) (Correct)
Active bibliography (related documents): More All
0.0: Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) (Correct)
0.0: Fine-Grained Dynamic Instrumentation Of Commodity Operating.. - Tamches (2001) (Correct)
0.0: Jalapeño - a Compiler-Supported Java.. - Alpern, Cocchi.. (1999) (Correct)
Similar documents based on text:
98.0: Unknown - (Correct)
Related documents from co-citation: More All
21: A modal analysis of staged computation - Davies, Pfenning - 1996
18: A temporal-logic approach to binding-time analysis - Davies - 1995
16: Multi-stage programming with explicit annotations - Taha, Sheard - 1997
BibTeX entry: (Update)
@inproceedings{ wickline98runtime,
author = "Philip Wickline and Peter Lee and Frank Pfenning",
title = "Run-time Code Generation and Modal-{ML}",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "224-235",
year = "1998",
url = "citeseer.ist.psu.edu/wickline98runtime.html" }
Citations (may not include all citations):106 The categorical abstract machine (context) - Cousineau, Curien et al. - 1987
90 effective dynamic compilation (context) - Auslander, Philipose et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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