LIP6 - PDFSEARCH.IO - Document Search Engine

LIP6
Results: 384

#	Item
131	Les lieurs en programmation Concepts et implémentations Pierre-Évariste Dagand Équipe Whisper Frédéric Peschanski Add to Reading List Source URL: pages.lip6.fr Language: French - Date: 2016-01-04 16:25:29
132	Filet-o-Fish: practical and dependable domain-specific languages for OS development Pierre-Evariste Dagand Andrew Baumann Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2014-09-23 09:42:20
133	Verified correctness and complexity analysis of the Uno-Yagiura algorithm Binh-Minh Bui-Xuan Pierre-Évariste Dagand Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2016-01-04 16:25:31
134	TARDIS - A simulation platform with an affective virtual recruiter for job interviews Hazaël Jones LIP6 - Laboratoire d’Informatique de Paris 6 4 place JussieuPARIS – FRANCE Add to Reading List Source URL: www.fdg2013.org Language: English - Date: 2013-07-26 11:46:55
135	Transporting Functions across Ornaments Pierre-Evariste Dagand Conor McBride Mathematically Structured Programming group Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2015-11-07 12:45:17
136	Programs from the Book Bit-level certified programming in Coq Pierre-Évariste Dagand Julia Lawall Whisper team Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2015-11-07 12:41:27
137	A Cosmology of Datatypes Reusability and Dependent Types ´ Pierre-Evariste Dagand Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2015-11-07 12:46:22
138	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation Gilles Muller Julia L. Lawall Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:26:03
139	Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language Julia L. Lawall,1 Herv´e Duchesne,2 Gilles Muller,2 Anne-Fran¸coise Le Meur3 1 DIKU, University of Copenhagen, Denmark Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:25:21
140	SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers∗ Yoann Padioleau Julia L. Lawall Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:25:57