| |
| 1995 | ||
|---|---|---|
| 7 | Bruno Monsuez: Using Abstract Interpretation to Define a Strictness Type Inference System. PEPM 1995: 122-133 | |
| 6 | Bruno Monsuez: System F and Abstract Interpretation SAS 1995: 279-295 | |
| 1993 | ||
| 5 | Bruno Monsuez: Polymorphic Typing for Call-by-Name Semantics. Formal Methods in Programming and Their Applications 1993: 156-169 | |
| 4 | Bruno Monsuez: Polymorphic Types and Widening Operators. WSA 1993: 267-281 | |
| 1992 | ||
| 3 | Bruno Monsuez: Polymorphic Typing by Abstract Interpretation. FSTTCS 1992: 217-228 | |
| 2 | Bruno Monsuez: Fractional Types. WSA 1992: 274-284 | |
| 1991 | ||
| 1 | Bruno Monsuez: An Attempt to Find Polymorphic Types by Abstract Interpretation. JTASPEFT/WSA 1991: 18-25 | |