Global abstraction-safe marshalling with hash types.

Autor: Leifer, James J., Peskine, Gilles, Sewell, Peter, Wansbrough, Keith
Zdroj: ACM / SIGPLAN Notices; Sep2014, Vol. 38 Issue 9, p87-98, 12p
Databáze: Complementary Index