Travelled to:1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:∅
Talks about:type (4) interpret (3) abstract (3) polymorph (2) system (2) fraction (1) attempt (1) strict (1) widen (1) infer (1)
Person: Bruno Monsuez
DBLP: Monsuez:Bruno
Contributed to:
1995
1995199319921991Wrote 5 papers:
- PEPM-1995-Monsuez #abstract interpretation #strict #type inference #using
- Using Abstract Interpretation to Define a Strictness Type Inference System (BM), pp. 122–133.
- SAS-1995-Monsuez #abstract interpretation #system f
- System F and Abstract Interpretation (BM), pp. 279–295.
- WSA-1993-Monsuez #polymorphism
- Polymorphic Types and Widening Operators (BM), pp. 267–281.
- WSA-1992-Monsuez
- Fractional Types (BM), pp. 274–284.
- WSA-1991-Monsuez #abstract interpretation #polymorphism
- An Attempt to Find Polymorphic Types by Abstract Interpretation (BM), pp. 18–25.