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.
http://media.podcasts.ox.ac.uk/comlab/comsci/2017-09-04-ICFP2017/2017-09-04-ICFP2017-day2-pm-08.mp4

and the website:
http://conal.net/papers/compiling-to-categories/

This introduces an interesting wrinkle in computer algebra.

Tim

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer