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