First Page | Document Content | |
---|---|---|
Date: 2014-05-18 16:53:02Functional languages Procedural programming languages Standard ML ML Lambda calculus Function Axiom Valuation Type system Mathematics Programming language theory Software engineering | Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1Add to Reading ListSource URL: paradise.caltech.eduDownload Document from Source WebsiteFile Size: 246,77 KBShare Document on Facebook |