PICT
並列計算の理論にPi-Calculusというのがあるらしいのですが、それを実装した言語にPICTというのがあるらしくて、そのリンク。
http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
http://citeseer.ist.psu.edu/pierce97programming.html
並列計算の理論にPi-Calculusというのがあるらしいのですが、それを実装した言語にPICTというのがあるらしくて、そのリンク。
http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
http://citeseer.ist.psu.edu/pierce97programming.html