Unrestricted pure call-by-value recursion

Johan Nordlander, Magnus Carlsson, Andy Gill. Unrestricted pure call-by-value recursion. In Eijiro Sumii, editor, Proceedings of the ACM SIGPLAN Workshop on ML. ML'08, pages 23-34, Association for Computing Machinery, New York, NY, USA, 2008. [doi]

Authors

Johan Nordlander

This author has not been identified. Look up 'Johan Nordlander' in Google

Magnus Carlsson

This author has not been identified. Look up 'Magnus Carlsson' in Google

Andy Gill

Identified as Andy Gill