TYCO

TYCO (Vasco Vasconcelos)

並行プロセス計算であるπ計算にレコードを導入した言語です。また型 を導入し、型検査などを行なう機構も導入されています。その型表現や検査の ためにいくつかの新しい概念が提案されています。