Types for describing coordinated data structures.

Autor: Ringenburg, Michael F., Grossman, Dan
Zdroj: Proceedings of the 2005 ACM SIGPLAN International Workshop: Types in Languages Design & Implementation; 1/10/2005, p25-36, 12p
Databáze: Complementary Index