The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes

Neil Sculthorpe, Nicolas Frisby, Andy Gill. The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. Journal of Functional Programming, 24(4):434-473, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.