DMCA

1The Kansas University Rewrite Engine A Haskell-Embedded Strategic Programming Language with Custom Closed Universes

Cached

Download Links

by Neil Sculthorpe , Nicolas Frisby , Andy Gill