News for hackers. Stuff that matters.

A comment on Mathematics for Computer Science. Parent comment

Re:Mathematics for Computer Science by thesz on Wednesday November 24, 2010 @09:27AM (#1937391)
http://cseweb.ucsd.edu/~rtate/publications/proofgen/

"Generating optimizations from proofs"

They developed main algorithm using category theory.

[ Parent | on HN ]

There are no comments on this comment yet.