3 ms·

http://cseweb.ucsd.edu/~rtate/publications/proofgen/ http://cseweb.ucsd.edu/~rtate/publications/proofgen/ "Generating optimizations from proofs" They develope

by thesz 16y ago

http://cseweb.ucsd.edu/~rtate/publications/proofgen/ http://cseweb.ucsd.edu/~rtate/publications/proofgen/ "Generating optimizations from proofs" They developed main algorithm using category theory.