 | 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 |
