Par, een expressieve, gelijktijdige, totale* taal met lineaire types en volledige dualiteit. Gebaseerd op Lineaire Logica en Sessie Types, heeft Par zowel functionele als imperatieve kenmerken die naadloos integreren.