[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Compiling to Categories
|
From: |
Tim Daly |
|
Subject: |
[Axiom-developer] Compiling to Categories |
|
Date: |
Tue, 11 Jun 2019 09:33:54 -0400 |
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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Compiling to Categories,
Tim Daly <=