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.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) Self-citation (Pfenning) (Correct)
No context found.
Davies, R. and Pfenning, F. 2001. A modal analysis of staged computation. Journal of the ACM 48, 3 (May), 555--604.
Electronic Notes in Computer Science 1 (1995) - On Modal Calculus (1995) (4 citations) Self-citation (Pfenning) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. Submitted, February 1995. 22
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) Self-citation (Davies Pfenning) (Correct)
No context found.
Davies, R. and Pfenning, F. 1996. A modal analysis of staged computation. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96) (Jan. 1996), pp. 258--270.
Staged Computation with Names and Necessity - Nanevski, Pfenning (2005) Self-citation (Frank) (Correct)
No context found.
Davies, Rowan, & Pfenning, Frank. (2001). A modal analysis of staged computation. Journal of the ACM, 48(3), 555--604.
Modal Typing for Specifying Run-time Code Generation - Washburn (2001) Self-citation (Pfenning) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A Modal Analysis of Staged Computation. Conference Record of POPL '96: The 23 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 258-270. January 1996.
Optimizing ML with Run-Time Code Generation - Detex Paper Wc (Correct)
No context found.
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.
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
No context found.
Davies, R. and Pfenning, F. (2000). A modal analysis of staged computation. Journal of the ACM. To appear. Preliminary version available as Technical Report CMU-CS-99-153, August 1999.
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
No context found.
Davies, R. and Pfenning, F. (1996). A modal analysis of staged computation. In Steele, Jr., G., editor, Proceedings of the 23rd Annual Symposium on Principles of Programming Languages, pages 258--270, St. Petersburg Beach, Florida. ACM Press.
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
No context found.
R. Davies and F. Pfenning. A modal analysis of staged computation. Journal of the ACM, 48(3):555--604, 2001.
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
No context found.
R. Davies and F. Pfenning. A modal analysis of staged computation. In Guy Steele, Jr., editor, Proc. of 23rd POPL, pages 258--270. ACM Press, 1996.
A Modal Language for the Safety of Mobile Values - Park (2005) (Correct)
No context found.
R. Davies and F. Pfenning. A modal analysis of staged computation. Journal of the ACM, 48(3):555-- 604, 2001.
An Idealized MetaML: Simpler, and More Expressive - Moggi, Taha, Benaissa, Sheard (1999) (2 citations) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL'96), St.Petersburg Beach, Florida, January 1996.
ML-like Inference for Classifiers - Calcagno, Moggi, Taha (2004) (5 citations) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. Journal of the ACM, 48(3):555-604, 2001.
ML-like Inference for Classifiers - Calcagno, Moggi, Taha (2004) (5 citations) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In the Symposium on Principles of Programming Languages (POPL '96), pages 258-270, St. Petersburg Beach, 1996.
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In the Symposium on Principles of Programming Languages (POPL '96), pages 258--270, St. Petersburg Beach, 1996.
Generating Heap-bounded Programs in a - Functional Setting Walid (Correct)
No context found.
Davies, R., and Pfenning, F. A modal analysis of staged computation. Journal of the ACM 48, 3 (2001), 555--604.
Guarded Recursive Datatype Constructors - Xi, Chen, Chen (2003) (8 citations) (Correct)
No context found.
R. Davies and F. Pfenning. A Modal Analysis of Staged Computation. Journal of ACM, 2002.
Closed Types as a Simple Approach to Safe Imperative.. - Calcagno, Moggi, Taha (2000) (4 citations) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL'96), pages 258--270, St. Petersburg Beach, January 1996.
Generating Heap-bounded Programs in a - Functional Setting Walid (2003) (Correct)
No context found.
Davies, R., and Pfenning, F. A modal analysis of staged computation. Journal of the ACM 48, 3 (2001), 555--604.
Implementing Multi-stage Languages Using ASTs, Gensym.. - Calcagno, Taha, Huang, .. (Correct)
No context found.
Davies, R., and Pfenning, F. A modal analysis of staged computation. In the Symposium on Principles of Programming Languages (POPL '96) (St. Petersburg Beach, 1996), pp. 258--270.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. Journal of the ACM, 48(3):555--604, 2001.
Meta-Programming through Typeful Code Representation - Chen, Xi (2003) (4 citations) (Correct)
No context found.
R. Davies and F. Pfenning. A Modal Analysis of Staged Computation. Journal of ACM, 48(3):555--604, 2001.
Metatheoretic Results for a Modal λ-Calculus - Despeyroux, Leleu (2000) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In Guy Steele Jr., editor, Proceedings of the 23rd Annual Symposium on Principles of Programming Languages, pages 258-270, St. Petersburg Beach, Florida, January 1996. ACM Press.
Recursion over Objects of Functional Type - Despeyroux, Leleu (2000) (5 citations) (Correct)
No context found.
Davies, R. and Pfenning, F. (1996). A modal analysis of staged computation. In Guy Steele, J., editor, Proceedings of the 23rd Annual Symposium on Principles of Programming Languages, pages 258-270, St. Petersburg Beach, Florida. ACM Press.
A Modal Lambda Calculus with Iteration and Case Constructs - Despeyroux, Leleu (1998) (4 citations) (Correct)
No context found.
Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In Jr. Guy Steele, editor, Proceedings of the 23rd Annual Symposium on Principles of Programming Languages, pages 258270, St. Petersburg Beach, Florida, January 1996. ACM Press. 14
First 50 documents Next 50
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