Aleksandar Nanevski, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~fp/papers/names03.ps cmu.edu/~fp/papers/names03.ps 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/~fp/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed setting, meta-programming languages usually contain a modal type constructor to distinguish the level of object programs (which are the manipulated data) from the meta programs (which perform the computations). In functional programming, modal types of object programs generally come in two flavors: open and closed, depending ... (Update)
Similar documents based on text: More All
0.4: Accomplishments and Research Challenges in Meta-Programming - Sheard (2000) (Correct)
0.3: Meta-Programming in Logic Programming - Hill, Gallagher (1994) (Correct)
0.3: Meta-Programming with Concrete Object Syntax - Visser (2002) (Correct)
Related documents from co-citation: More All
14: A modal analysis of staged computation - Davies, Pfenning - 1996
13: A metalanguage for programming with bound names modulo renaming - Pitts, Gabbay - 2000
11: Multi-Stage Programming: Its Theory and Applications - Taha - 1999
BibTeX entry: (Update)
Aleksandar Nanevski. Meta-programming with names and necessity. In Cindy Norris and Jr. James B. Fenwick, editors, Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP-02), ACM SIGPLAN notices, New York, October 2002. ACM Press. http://citeseer.ist.psu.edu/nanevski02metaprogramming.html More
@misc{ nanevski02metaprogramming,
author = "A. Nanevski",
title = "Meta-programming with names and necessity",
text = "Aleksandar Nanevski. Meta-programming with names and necessity. In Cindy
Norris and Jr. James B. Fenwick, editors, Proceedings of the Seventh ACM
SIGPLAN International Conference on Functional Programming (ICFP-02), ACM
SIGPLAN notices, New York, October 2002. ACM Press.",
year = "2002",
url = "citeseer.ist.psu.edu/nanevski02metaprogramming.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-2.cs.cmu.edu/~fp/papers/): More
A Type Theory for Memory Allocation and Data Layout - Petersen, Harper, Crary.. (2002) (Correct)
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (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