MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Modal Analysis of Staged Computation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A Modal Analysis of Staged Computation
by Rowan Davies, Frank Pfenning — 1996 — JOURNAL OF THE ACM
…A Modal Analysis of Staged Computation Rowan Davies and Frank Pfenning May 1995 CMU-CS-95…
Cited by 161 (19 self) – Add To MetaCart

A Modal Analysis of Staged Computation
by Rowan Davies And, Rowan Davies, Frank Pfenning — 1996 — Journal of the ACM
…A Modal Analysis of Staged Computation Rowan Davies and Frank Pfenning May 1995 CMU-CS-95…
Add To MetaCart

Logic in Computer Science: Modelling and Reasoning about Systems
by Michael Huth, Mark Ryan — 1999
…. The ties to computer science are merely of a foundational nature, such as the CurryHoward isomorphism…
Cited by 137 (5 self) – Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB