Monadic and Substructural Type Systems For Region-Based Memory Management

Matthew Fluet. Monadic and Substructural Type Systems For Region-Based Memory Management. PhD thesis, Cornell University, USA, 2007.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.