Compiling functional types to relational specifications for low level imperative code

Nick Benton, Nicolas Tabareau. Compiling functional types to relational specifications for low level imperative code. In Andrew Kennedy, Amal Ahmed, editors, Proceedings of TLDI 08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. pages 3-14, ACM, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.