Bowman - PDFSEARCH.IO - Document Search Engine

Bowman
Results: 1152

#	Item
21	1 Type-Preserving CPS Translation of Σ and Π-Types is Not Not Possible (Technical Appendix) WILLIAM J. BOWMAN, Northeastern University YOUYOU CONG, Ochanomizu University NICK RIOUX, Northeastern University Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
22	Decreasing Process Memory Requirements by Overlapping Program Portions Richard L. Bowman Harris, Melbourne Add to Reading List Source URL: www.cs.fsu.edu - Date: 2016-05-21 11:35:01
23	Profile-Guided Meta-Programming William J. Bowman ˚ Swaha Miller : Vincent St-Amour Add to Reading List Source URL: users.eecs.northwestern.edu - Date: 2018-03-30 15:48:58
24	Toward Type-Preserving Compilation of Coq ∗ William J. Bowman Northeastern University, USA 1. Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
25	Noninterference for Free William J. Bowman and Amal Ahmed Let’s write a secure program • Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
26	Noninterference for Free ∗ William J. Bowman Amal Ahmed Northeastern University, USA Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
27	Dependently Typed Assembly for Secure Linking William J. Bowman 1 Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:49
28	Fully Abstract Compilation via Universal Embedding Max New William J. Bowman Amal Ahmed Add to Reading List Source URL: maxsnew.github.io - Date: 2018-03-23 16:34:38
29	Fully Abstract Compilation via Universal Embedding (Technical Appendix) Max S. New William J. Bowman Add to Reading List Source URL: maxsnew.github.io - Date: 2018-03-23 16:34:38
30	Noninterference for Free (Technical Appendix) William J. Bowman Amal Ahmed Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47

UPDATE