|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Extension of System F with Subtyping |
Cardelli, L. |
1994 |
109 | 1-2 |
p. 4-56 53 p. |
article |
|
| 2 | A Semantics for Static Type Inference |
Plotkin, G. |
1994 |
109 | 1-2 |
p. 256-299 44 p. |
article |
|
| 3 | A Semantics for Static Type Inference in a Nondeterministic Language |
Abadi, M. |
1994 |
109 | 1-2 |
p. 300-306 7 p. |
article |
|
| 4 | A Type Inference Algorithm for a Stratified Polymorphic Type Discipline |
Giannini, P. |
1994 |
109 | 1-2 |
p. 115-173 59 p. |
article |
|
| 5 | Author Index for Volume 109 |
1994 |
109 | 1-2 |
p. 307- 1 p. |
article |
||
| 6 | Decidability and Confluence of βη top≤ Reduction in F ≤ |
Curien, P.L. |
1994 |
109 | 1-2 |
p. 57-114 58 p. |
article |
|
| 7 | From Term Models to Domains |
Phoa, W. |
1994 |
109 | 1-2 |
p. 211-255 45 p. |
article |
|
| 8 | International-Conference on Theoretical Aspects of Computer Software - Preface |
Dezaniciancaglini, M. |
1994 |
109 | 1-2 |
p. 1-3 3 p. |
article |
|
| 9 | Singleton, Union, and Intersection Types for Program Extraction |
Hayashi, S. |
1994 |
109 | 1-2 |
p. 174-210 37 p. |
article |
9 results found