Rowan Davies, Frank Pfenning  Home/Search
Context Related
| cmu.edu/afs/cs/user/fp/w...jacm00.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...homepage (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM Inc., 1515 Broadway, New York, NY 10036 USA, fax +1 (212) 869-0481, or permissions@acm.org. 2 \Delta R. Davies and F. Pfenning a substantial body of work concerned with the automation of staged computation. Partial evaluation (see, ... (Update)
Cited by: More
Optimizing ML with Run-Time Code Generation - Detex Paper Wc (Correct)
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
Similar documents (at the sentence level):
75.9%: A Modal Analysis of Staged Computation - Davies, Pfenning (1999) (Correct)
Similar documents based on text: More All
0.4: Programming in Higher-Order Typed Lambda-Calculi - Pierce, Dietzen, Michaylov (1989) (Correct)
0.3: Multi-Stage Imperative Languages: A Conservative Extension.. - Calcagno, Moggi (2000) (Correct)
0.3: Staged Simulation: A General Technique for Improving.. - Walsh, Sirer (2003) (Correct)
Related documents from co-citation: More All
49: A temporal-logic approach to binding-time analysis - Davies - 1995
38: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
36: Multi-stage programming with explicit annotations - Taha, Sheard - 1997
BibTeX entry: (Update)
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In ACM Symposium on Principles of Programming Languages, January 1996. To appear. An earlier version is available as Technical Report CMU--CS--95--145, School of Computer Science, Carnegie Mellon University. http://citeseer.ist.psu.edu/article/davies96modal.html More
@incollection{ davies96modal,
author = "Rowan Davies and Frank Pfenning",
title = "A Modal Analysis of Staged Computation",
booktitle = "Conf.\ Record 23rd {ACM} {SIGPLAN}/{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'96, St.~Petersburg Beach, {FL}, {USA}, 21--24 Jan 1996",
publisher = "ACM Press",
address = "New York",
pages = "258--270",
year = "1996",
url = "citeseer.ist.psu.edu/article/davies96modal.html" }
Citations not processed or no citations identified.
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/homepage.html): More
A Schema for Adding Dependent Types to ML - Xi, Pfenning (1997) (Correct)
Linear Higher-Order Pre-Unification - Iliano Cervesato, Frank Pfenning (1997) (Correct)
Run-time Code Generation and Modal-ML - Wickline, Lee, Pfenning (1998) (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