Parは、線形型と完全双対性を備えた、表現力豊かで並行的なトータル*言語です。 Linear LogicとSession TypesをベースとしたParは、機能的な機能と命令型の両方の機能をシームレスに統合しています
55.75K