Volume 76; Issue 2-3

Information and Computation

Volume 76; Issue 2-3
1

Preface

G.D. Plotkin
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 33 KB
english, 1988
2

The calculus of constructions

Thierry Coquand, Gérard Huet
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 1.34 MB
english, 1988
3

The equational theory of parameterized specifications

Peter Padawitz
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 900 KB
english, 1988
4

A semantics of multiple inheritance

Luca Cardelli
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 1.36 MB
english, 1988
5

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 2.77 MB
english, 1988
6

Polymorphic type inference and containment

John C. Mitchell
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 1.95 MB
english, 1988
7

Partial morphisms in categories of effective objects

Eugenio Moggi
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 1.46 MB
english, 1988
8

Pebble, a kernel language for modules and abstract data types

B. Lampson, R. Burstall
Journal:
Information and Computation
Year:
1988
Language:
english
File:
PDF, 3.42 MB
english, 1988
9

Author index for volume 76

Journal:
Information and Computation
Year:
1988
File:
PDF, 25 KB
1988