Compiling to Categories

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Compiling to Categories

Tim Daly
Well, THIS is interesting. By compiling programs to categories it is
possible to do things like computing program derivatives. Watch
the video.

and the website:

This introduces an interesting wrinkle in computer algebra.


Axiom-developer mailing list
[hidden email]