Amal - PDFSEARCH.IO - Document Search Engine

Amal
Results: 337

#	Item
51	On the complexity of the guarding game ˇamal R. S´ ⋆ Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
52	Verifying an Open Compiler Using Multi-Language Semantics: Technical Report James T. Perconti and Amal Ahmed Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-12-26 22:05:55
53	L3 : A Linear Language with Locations Greg Morrisett1 , Amal Ahmed1 , and Matthew Fluet2 1 Harvard University {greg,amal}@eecs.harvard.edu 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-02-07 13:49:07
54	State-Dependent Representation Independence (Technical Appendix) Amal Ahmed TTI-C Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2008-08-04 02:58:33
55	State-Dependent Representation Independence Amal Ahmed Derek Dreyer Andreas Rossberg Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-03-29 18:53:41
56	Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-10-03 11:09:09 Software engineering Computer programming Programming language theory Linear algebra Software design patterns Matrix theory Trace Program slicing Monad Substitution FO ALGOL 68
57	Provenance as Dependency Analysis James Cheney1 , Amal Ahmed2 , and Umut A. Acar2 ? 1 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-08-16 14:32:08
58	Skickas/lämnas till avtalsansvarig Käth Larsson Tel: Adress: Prästgården ÅMÅL Vilket abonnemang Skall jag Välja? Jag beställer föreningens gruppanslutning: Add to Reading List Source URL: www.edsleskog.com Language: Swedish - Date: 2015-05-18 11:42:43
59	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types Amal Ahmed Harvard University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-01-03 19:20:50
60	A Step-Indexed Model of Substructural State Amal Ahmed Matthew Fluet ∗ Greg Morrisett ∗ Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-07-22 17:25:29

UPDATE