[Axiom-developer] Dynamic Real Closure and Axiom

[root]

Gregoire,

I've come across your work on dynamic real closures.
Your paper is very close to a literate program which is a method
of combining research results with executable code. 

Axiom has been released as free and open source software.
I'm the lead developer on the project.
(http://savannah.nongnu.org/projects/axiom)

I'd like your permission (and assistance if you can) in converting
your paper to working code within Axiom. In particular this would
involve modifying the TeX document into a "pamphlet" file which is
Axiom's literate programming format (It is basically TeX with two
additional tags that allow program source to be extracted).

Is it possible to get a TeX version of your paper and permission
to modify it to include it as part of Axiom?

Tim