On Stage Ordering in Staged Computation

Generative Programming and Component Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39815-8_5 ◽

2003 ◽

pp. 77-96

Author(s):

Zhenghao Wang ◽

Richard R. Muntz

Keyword(s):

Staged Computation

Download Full-text

A modal analysis of staged computation

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237788 ◽

1996 ◽

Author(s):

Rowan Davies ◽

Frank Pfenning

Keyword(s):

Modal Analysis ◽

Staged Computation

Download Full-text

Inlining as staged computation

Journal of Functional Programming ◽

10.1017/s0956796802004616 ◽

2003 ◽

Vol 13 (3) ◽

pp. 647-676 ◽

Author(s):

STEFAN MONNIER ◽

ZHONG SHAO

Keyword(s):

Staged Computation

Download Full-text

A Modal Analysis of Staged Computation

10.21236/ada367677 ◽

1999 ◽

Author(s):

Rowan Davies ◽

Frank Pfenning

Keyword(s):

Modal Analysis ◽

Staged Computation

Download Full-text

MetaOCaml server pages: Web publishing as staged computation

Science of Computer Programming ◽

10.1016/j.scico.2006.05.004 ◽

2006 ◽

Vol 62 (1) ◽

pp. 66-84 ◽

Author(s):

Christopher League

Keyword(s):

Staged Computation ◽

Download Full-text

Staged Computation: The Technique You Did Not Know You Were Using

Computing in Science & Engineering ◽

10.1109/mcse.2020.2985508 ◽

2020 ◽

Vol 22 (4) ◽

pp. 99-103

Author(s):

Konrad Hinsen ◽

Konrad Hinsen ◽

Matthew Turk

Keyword(s):

Staged Computation

Download Full-text

Staged Computation with Staged Lexical Scope

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28869-2_28 ◽

2012 ◽

pp. 559-578 ◽

Author(s):

Morten Rhiger

Keyword(s):

Staged Computation

Download Full-text

Reasoning about Staged Computation

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_3 ◽

2000 ◽

pp. 5-6 ◽

Author(s):

Frank Pfenning

Keyword(s):

Staged Computation

Download Full-text

A modal analysis of staged computation

Journal of the ACM ◽

10.1145/382780.382785 ◽

2001 ◽

Vol 48 (3) ◽

pp. 555-604 ◽

Author(s):

Rowan Davies ◽

Frank Pfenning

Keyword(s):

Modal Analysis ◽

Staged Computation

Download Full-text

On the logical foundations of staged computation (invited talk)

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328696 ◽

1999 ◽

Author(s):

Frank Pfenning

Keyword(s):

Logical Foundations ◽

Staged Computation

Download Full-text

A Modal Analysis of Staged Computation,

10.21236/ada296537 ◽

1995 ◽

Author(s):

Rowan Davies ◽

Frank Pfenning

Keyword(s):

Modal Analysis ◽

Staged Computation

Download Full-text