Searching for "A Modal Analysis of Staged Computation." – sorted by Relevance.
-
A Modal Analysis of Staged Computation
- 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
- 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
- . 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
- Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming
- Cited by 6 (2 self) – Add To MetaCart

