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]

Authors

Nick Benton

This author has not been identified. Look up 'Nick Benton' in Google

Nicolas Tabareau

This author has not been identified. Look up 'Nicolas Tabareau' in Google