Pierre Weis

	2010
10		Sylvie Boldo, Francois Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR abs/1001.4898: (2010)
	2008
9		Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis: Skeletal Parallel Programming with OCamlP3l 2.0. Parallel Processing Letters 18(1): 149-164 (2008)
	2007
8		Frédéric Blanqui, Thérèse Hardin, Pierre Weis: On the Implementation of Construction Functions for Non-free Concrete Data Types. ESOP 2007: 95-109
7		Frédéric Blanqui, Thérèse Hardin, Pierre Weis: On the implementation of construction functions for non-free concrete data types CoRR abs/cs/0701031: (2007)
	2006
6		Francois Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis: Domain decomposition and skeleton programming with OCamlP3l. Parallel Computing 32(7-8): 539-550 (2006)
	2005
5		Francois Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis: Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO 2005: 811-818
	1996
4		Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)
	1995
3		Catherine Dubois, François Rouaix, Pierre Weis: Generic Polymorphism. POPL 1995: 118-129
2		Manuel Serrano, Pierre Weis: Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages SAS 1995: 366-381
	1991
1		Xavier Leroy, Pierre Weis: Polymorphic Type Inference and Assignment. POPL 1991: 291-302

Coauthor Index

1	Martin Alt	[4]
2	Lennart Augustsson	[4]
3	Peter Baumann	[4]
4	Marcel Beemster	[4]
5	Frédéric Blanqui	[7] [8]
6	Sylvie Boldo	[10]
7	Emmanuel Chailloux	[4]
8	Francois Clément	[5] [6] [10]
9	Roberto Di Cosmo	[5] [6] [9]
10	Catherine Dubois	[3]
11	Marc Feeley	[4]
12	Jean-Christophe Filliâtre	[10]
13	Christine H. Flood	[4]
14	Wolfgang Grieskamp	[4]
15	John H. G. van Groningen	[4]
16	Kevin Hammond	[4]
17	Thérèse Hardin	[7] [8]
18	Pieter H. Hartel	[4]
19	Bogumil Hausman	[4]
20	Melody Y. Ivory	[4]
21	Richard E. Jones	[4]
22	Jasper Kamperman	[4]
23	Peter Lee	[4]
24	Xavier Leroy	[1] [4]
25	Zheng Li	[9]
26	Rafael Dueire Lins	[4]
27	Sandra Loosemore	[4]
28	V. Martin	[5] [6]
29	Micaela Mayero	[10]
30	Guillaume Melquiond	[10]
31	Susanna Pelagatti	[9]
32	Niklas Röjemo	[4]
33	François Rouaix	[3]
34	Manuel Serrano	[2] [4]
35	Jean-Pierre Talpin	[4]
36	Jon Thackray	[4]
37	Stephen Thomas	[4]
38	A. Vodicka	[5] [6]
39	Pum Walters	[4]
40	Peter Wentworth	[4]