Volume 22; Issue 3

Science of Computer Programming

Volume 22; Issue 3
1

Foreword

Année:
1994
Langue:
english
Fichier:
PDF, 153 KB
english, 1994
2

Dynamic typing: syntax and proof theory

Année:
1994
Langue:
english
Fichier:
PDF, 2.26 MB
english, 1994
3

A theory of qualified types

Année:
1994
Langue:
english
Fichier:
PDF, 1.83 MB
english, 1994
4

Interprocedural type propagation for object-oriented languages

Année:
1994
Langue:
english
Fichier:
PDF, 1.70 MB
english, 1994
5

Approximate fixed points in abstract interpretation

Année:
1994
Langue:
english
Fichier:
PDF, 1.27 MB
english, 1994
6

Author index—volume 22 (1994)

Année:
1994
Langue:
english
Fichier:
PDF, 72 KB
english, 1994
7

Back to direct style

Année:
1994
Langue:
english
Fichier:
PDF, 740 KB
english, 1994
8

Reversing abstract interpretations

Année:
1994
Langue:
english
Fichier:
PDF, 1.28 MB
english, 1994
9

The tensor product in Wadler's analysis of lists

Année:
1994
Langue:
english
Fichier:
PDF, 1.53 MB
english, 1994