Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos 0002, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 3(2-3):95-230, 2016. [doi]

Authors

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Viviana Bono

This author has not been identified. Look up 'Viviana Bono' in Google

Mario Bravetti

This author has not been identified. Look up 'Mario Bravetti' in Google

Joana Campos 0002

This author has not been identified. Look up 'Joana Campos 0002' in Google

Giuseppe Castagna

This author has not been identified. Look up 'Giuseppe Castagna' in Google

Pierre-Malo Deniélou

This author has not been identified. Look up 'Pierre-Malo Deniélou' in Google

Simon J. Gay

This author has not been identified. Look up 'Simon J. Gay' in Google

Nils Gesbert

This author has not been identified. Look up 'Nils Gesbert' in Google

Elena Giachino

This author has not been identified. Look up 'Elena Giachino' in Google

Raymond Hu

This author has not been identified. Look up 'Raymond Hu' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Francisco Martins

This author has not been identified. Look up 'Francisco Martins' in Google

Viviana Mascardi

This author has not been identified. Look up 'Viviana Mascardi' in Google

Fabrizio Montesi

This author has not been identified. Look up 'Fabrizio Montesi' in Google

Rumyana Neykova

This author has not been identified. Look up 'Rumyana Neykova' in Google

Nicholas Ng

This author has not been identified. Look up 'Nicholas Ng' in Google

Luca Padovani

This author has not been identified. Look up 'Luca Padovani' in Google

Vasco T. Vasconcelos

This author has not been identified. Look up 'Vasco T. Vasconcelos' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google