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]

Authors

Neil Sculthorpe

This author has not been identified. Look up 'Neil Sculthorpe' in Google

Nicolas Frisby

This author has not been identified. Look up 'Nicolas Frisby' in Google

Andy Gill

This author has not been identified. It may be one of the following persons: Look up 'Andy Gill' in Google