Polymorphic Type Inference and Assignment. - Xavier Leroy; Pierre Weis (POPL, 1991)

Le langage Caml. - Pierre Weis; Xavier Leroy (InterEditions, 1993)

Manuel de référence du langage CAML. - Xavier Leroy; Pierre Weis (InterEditions, 1993)

Generic Polymorphism. - Catherine Dubois; François Rouaix; Pierre Weis (POPL, 1995)

Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages - Manuel Serrano; Pierre Weis (SAS, 1995)

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. - Pieter H. Hartel; Marc Feeley; Martin Helmut Alt; Lennart Augustsson; Peter Baumann; Marcel Beemster; Emmanuel Chailloux; Christine H. Flood; Wolfgang Grieskamp; John H. G. van Groningen; Kevin Hammond; Bogumil Hausman; et al. (J. Funct. Program., 1996)

Domain decomposition and skeleton programming with OCamlP3l. - François Clément; Vincent Martin; A. Vodicka; Roberto Di Cosmo; Pierre Weis (Parallel Comput., 2006)

On the Implementation of Construction Functions for Non-free Concrete Data Types. - Frédéric Blanqui; Thérèse Hardin; Pierre Weis (ESOP, 2007)

Skeletal Parallel Programming with OCamlP3l 2.0. - Roberto Di Cosmo; Zheng Li; Susanna Pelagatti; Pierre Weis (Parallel Process. Lett., 2008)

Formal Proof of a Wave Equation Resolution Scheme: The Method Error. - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (ITP, 2010)

Image Segmentation with Optimal Control Techniques - François Clément; Hend Ben Ameur; Guy Chavent; Pierre Weis (CoRR, 2010)

Wave Equation Numerical Resolution: Mathematics and Program - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (CoRR, 2011)

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (J. Autom. Reason., 2013)

Trusting computations: A mechanized proof from partial differential equations to actual program. - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (Comput. Math. Appl., 2014)

Translating Simulink Models to Modelica using the { NSP} Platform. - Jean-Philippe Chancelier; Sébastien Furic; Pierre Weis (Modelica, 2019)