2008 |
9 | EE | 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 | EE | 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 | EE | 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 | EE | F. 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 | | F. 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 |