G. Kahn · 5 obras en el catálogoObrasSemantics of data typesFunctional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987CConstruction, amélioration et vérification de programmesConstruction, amélioration et vérification de programmesCCoroutines and networks of parallel processesCoroutines and networks of parallel processesSemantics of Concurrent Computation
Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987
CConstruction, amélioration et vérification de programmesConstruction, amélioration et vérification de programmes