Abstrakt. Parameteriserade sessionstyper är en typteori som studeras i samband med flerpartssessionstyper, som tar upp problemet med typsäkra, låsta interaktioner i program med ett godtyckligt antal processer. Det tidigare arbetet som stöder parameteriserade sessionstyper har flera brister som begränsar deras nytta i praktiken. Vi eliminerar bristerna genom att införa ett idiom för programplanering av roller och ett nytt typsystem. Roller har samma design som klasser i språk som Java och C#, medan den tidigare modellen presenterar en amorf syntax utan begrepp om hur man införliva parameteriserade sessionstyper i ett vanligt språk. Den tidigare modellen kräver att programmerare skriver processtyper, förutom globala typer, för typkontroll, medan denna modell bevarar multiparts lättviktsanmärkningar och typkontrollstrategi av helt enkelt globala typer. Den tidigare modellen kräver värden av parametrar för att spänna över ändliga uppsättningar av naturliga tal, medan denna modell tillåter oändliga uppsättningar av dem.
Verket REF ger ett idiom för programmering av roller, som definierar olika klasser av deltagare, och ett annat typsystem för parameteriserade sessionstyper.
Practical Parameterised Session Types
{'venue': 'ICFEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}