Rewriting Conversions Implemented with Continuations
Citation
Norrish, M 2009, 'Rewriting Conversions Implemented with Continuations', Journal of Automated Reasoning, vol. 43, no. 3, pp. 305-336.Year
2009ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Networking And Communications