Yazar
Roberto Di Cosmo
4 cilt bulundu.
Cilt sonuçları
Isomorphisms of types
Roberto Di Cosmo · Birkhäuser
235 sayfa · 1995
Type theory / Human-computer interaction / Programming languages (Electronic computers) / Computer software / Human factors
Open Source Systems : Towards Robust Practices
Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli · Springer
234 sayfa · 2017
Computer science / Software engineering