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]
No references recorded for this publication.
No citations of this publication recorded.