Pierre Weis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1991–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ITP | Formal Proof of a Wave Equation Resolution Scheme: The Method Error. | Sylvie Boldo, Franois Clment, Jean-Christophe Fillitre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
| 2007 | ESOP | On the Implementation of Construction Functions for Non-free Concrete Data Types. | Frdric Blanqui, Thrse Hardin, Pierre Weis |
| 1995 | POPL | Generic Polymorphism. | Catherine Dubois, Franois Rouaix, Pierre Weis |
| 1995 | SAS | Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages | Manuel Serrano, Pierre Weis |
| 1991 | POPL | Polymorphic Type Inference and Assignment. | Xavier Leroy, Pierre Weis |