Parameterised Multiparty Session Types.

Nobuko Yoshida, Pierre-Malo Denilou, Andi Bejleri, Raymond Hu

Browse the full FOSSACS paper archive.