Implementation of Axiomatic Language Walter W. Wilson [removed] Univ. of Texas at Arlington Advisor: Dr. Jeff Lei ICLP 2011 Doctoral Consortium July 6, 2011 Lexington, Kentucky - M-expression - Document - PDFSEARCH.IO

First Page	Meta Content
	Implementation of Axiomatic Language Walter W. Wilson [removed] Univ. of Texas at Arlington Advisor: Dr. Jeff Lei ICLP 2011 Doctoral Consortium July 6, 2011 Lexington, Kentucky Add to Reading List Document Date: 2012-06-29 15:52:25 Open Document File Size: 106,38 KB Share Result on Facebook City Redwood City / / Currency USD / / Facility Yu Lei The University of Texas / / Organization University of Texas at Arlington / / Person Walter W. Wilson / / Position smart translator / / ProgrammingLanguage Prolog / Lisp / / ProvinceOrState California / / URL www.axiomaticlanguage.org / / SocialTag Lisp programming language Data types Type theory Formal languages M-expression Lisp S-expression Type system Variable Software engineering

Implementation of Axiomatic Language Walter W. Wilson [removed] Univ. of Texas at Arlington Advisor: Dr. Jeff Lei ICLP 2011 Doctoral Consortium July 6, 2011 Lexington, KentuckyAdd to Reading List