Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Type-Safe Modular Hash-Consing (Chapter 2)

Avatar for tyabu12 tyabu12
June 14, 2018

Type-Safe Modular Hash-Consing (Chapter 2)

J.-C. Filliatre and S. Conchon
The 2006 ACM SIGPLAN Workshop on ML (ML 2006), Portland, Oregon, 16th September 2006.

Avatar for tyabu12

tyabu12

June 14, 2018
Tweet

More Decks by tyabu12

Other Decks in Research

Transcript