|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A semantics of multiple inheritance |
Cardelli, Luca |
1988 |
2-3 |
p. 138-164 27 p. |
artikel |
||
| 2 | Author index for volume 76 |
1988 |
2-3 |
p. 347- 1 p. |
artikel |
|||
| 3 | Partial morphisms in categories of effective objects |
Moggi, Eugenio |
1988 |
2-3 |
p. 250-277 28 p. |
artikel |
||
| 4 | Pebble, a kernel language for modules and abstract data types |
Lampson, B. |
1988 |
2-3 |
p. 278-346 69 p. |
artikel |
||
| 5 | Polymorphic type inference and containment |
Mitchell, John C. |
1988 |
2-3 |
p. 211-249 39 p. |
artikel |
||
| 6 | Preface |
Plotkin, G.D. |
1988 |
2-3 |
p. 93- 1 p. |
artikel |
||
| 7 | Specifications in an arbitrary institution |
Sannella, Donald |
1988 |
2-3 |
p. 165-210 46 p. |
artikel |
||
| 8 | The calculus of constructions |
Coquand, Thierry |
1988 |
2-3 |
p. 95-120 26 p. |
artikel |
||
| 9 | The equational theory of parameterized specifications |
Padawitz, Peter |
1988 |
2-3 |
p. 121-137 17 p. |
artikel |
9 gevonden resultaten