|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alvey—Britain's strategic computing initiative |
Georghiou, Luke |
1991 |
16 | 2 |
p. 197-198 2 p. |
artikel |
|
| 2 | An introduction to functional programming through lambda calculus |
Launchbury, John |
1991 |
16 | 2 |
p. 198-200 3 p. |
artikel |
|
| 3 | Automatic autoprojection of recursive equations with global variables and abstract data types |
Bondorf, Anders |
1991 |
16 | 2 |
p. 151-195 45 p. |
artikel |
|
| 4 | Formal methods in standards: A report from the BCS working group |
Froome, Peter |
1991 |
16 | 2 |
p. 204-205 2 p. |
artikel |
|
| 5 | Programming in Martin-Löf's type theory |
Mendler, Nax |
1991 |
16 | 2 |
p. 202-203 2 p. |
artikel |
|
| 6 | Programming language concepts and paradigms |
Lindsey, C.H. |
1991 |
16 | 2 |
p. 200-201 2 p. |
artikel |
|
| 7 | Synchronous programming with events and relations: the SIGNAL language and its semantics |
Benveniste, Albert |
1991 |
16 | 2 |
p. 103-149 47 p. |
artikel |
7 gevonden resultaten