Searching for "From System F to Typed Assembly Language." – sorted by Relevance.
-
From System F to Typed Assembly Language
- From System F to Typed Assembly Language # (Extended Version) Greg Morrisett David Walker Karl
- Add To MetaCart
-
From System F to Typed Assembly Language
- From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL
- Cited by 507 (61 self) – Add To MetaCart
-
From System F to Typed Assembly Language (Extended Version)
- From System F to Typed Assembly Language (Extended Version) Greg Morrisett David Walker Karl
- Cited by 8 (4 self) – Add To MetaCart
-
166 Bibliography
- , David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions
- Add To MetaCart
-
An Introduction to Typed Assembly Language
- Suggested Reading - G. Morrisett, D. Walker, K. Crary, N. Glew. From System-F to Typed Assembly Language
- Add To MetaCart
-
Semantic and Logical Properties of Stateful Programming
- (Revised). MIT Press, 1997. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F
- Cited by 6 (2 self) – Add To MetaCart

