СТ |
Using Abstract Interpretation to Define a Strictness Type Inference System |
1995 |
Monsuez B. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
СТ |
System F and Abstract Interpretation |
1995 |
Monsuez B. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
17.11.1995 |
СТ |
Polymorphic Types and Widening Operators |
1993 |
Monsuez B. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
СТ |
Polymorphic Typing for Call-By-Name Semantics |
1993 |
Monsuez B. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |
СТ |
Polymorphic Typing by Abstract Interpretation |
1992 |
Monsuez B. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
СТ |
Fractional Types |
1992 |
Monsuez B. |
|
|
|
BIGRE |
11.11.1992 |
СТ |
An Attempt to Find Polymorphic Types by Abstract Interpretation |
1991 |
Monsuez B. |
|
|
|
BIGRE |
11.12.1991 |