Travelled to:
1 × Portugal
1 × United Kingdom
2 × USA
Collaborated with:
M.Serrano X.Leroy F.Blanqui T.Hardin C.Dubois F.Rouaix
Talks about:
polymorph (2) function (2) type (2) implement (1) construct (1) portabl (1) languag (1) generic (1) concret (1) strict (1)
Person: Pierre Weis
DBLP: Weis:Pierre
Contributed to:
Wrote 4 papers:
- ESOP-2007-BlanquiHW #data type #implementation #on the
- On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
- POPL-1995-DuboisRW #morphism #polymorphism
- Generic Polymorphism (CD, FR, PW), pp. 118–129.
- SAS-1995-SerranoW #compilation #functional #named #optimisation #strict
- Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages (MS, PW), pp. 366–381.
- POPL-1991-LeroyW #polymorphism #type inference
- Polymorphic Type Inference and Assignment (XL, PW), pp. 291–302.