Home » user account

smwatt

Personal information


Have participated as a principal in the creation of various computer algebra systems and their associated languages, including Maple, Axiom and Aldor, and various data languages, including MathML, OpenMath and InkML.


Computer algebra. Programming languages and compilers. Type systems. Generics/templates/higher order functions. A million other things.

History


14 years 43 weeks