DMCA

Types for describing coordinated data structures (2005)

by Michael F. Ringenburg , Dan Grossman
Venue:In ACM SIGPLAN International Workshop on Types in Languages, Design and Implementation (TLDI
Citations:4 - 0 self