Behavioral Types in Programming Languages
Ancona, Davide ; Bono, Viviana ; Bravetti, Mario ; Campos, Joana ; Castagna, Giuseppe ; Deniélou, Pierre-Malo ; Gay, Simon J. ; Gesbert, Nils ; Giachino, Elena ; Hu, Raymond ; Johnsen, Einar Broch ; Martins, Francisco ; Mascardi, Viviana ; Montesi, Fabrizio ; Neykova, Rumyana ; Ng, Nicholas ; Padovani, Luca ; Vasconcelos, Vasco T. ; Yoshida, Nobuko
Foundations and trends in programming languages, 2016-01, Vol.3 (2-3), p.95-230 [Periódico revisado por pares]Boston - Delft: Now Publishers
Texto completo disponível