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 |
| Externí odkaz: |
|