Changes between Version 38 and Version 39 of WikiStart


Ignore:
Timestamp:
Mar 12, 2013, 5:52:34 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v38 v39  
    4242=== Research reports === 
    4343 
     44 * Frédéric Loulergue, Virginia Niculescu, [http:// Programming and Reasoning with PowerLists in Coq], LIFO, Université d'Orléans, Research Report RR-2013-02, 2013 
    4445 * Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue and Louis Gesbert, [http://hal.inria.fr/docs/00/46/61/83/PDF/RR-2010-01.pdf Systematic Development of Functional Bulk Synchronous Parallel Programs], Research Report RR-2010-01, LIFO, University of Orléans, 2010 
    4546 * Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi, [http://frederic.loulergue.eu/ftp/RR-2009-07.pdf Program Calculation in Coq], Research Report RR-2009-07, LIFO, University of Orléans, 2009