Rewriting Conversions Implemented with Continuations

Michael Norrish. Rewriting Conversions Implemented with Continuations. Journal of Automated Reasoning, 43(3):305-336, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.