BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Monsuez:Bruno

Contributed to:

PEPM 19951995
SAS 19951995
WSA 19931993
WSA 19921992

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.