Searching for "From Region Inference to von Neumann Machines via Region Representation Inference." – sorted by Relevance.
-
From Region Inference to von Neumann Machines via Region Representation Inference
- From Region Inference to von Neumann Machines via Region Representation Inference Lars Birkedal
- Cited by 80 (6 self) – Add To MetaCart
-
Semantic and Logical Properties of Stateful Programming
- Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proc. 2$rd
- Cited by 6 (2 self) – Add To MetaCart
-
Principles, Techniques, and Tools. Addison-Wesley,
- . “From region inference to von neumann machines via region representation inference.” In Proc. 23rd ACM
- Add To MetaCart

