*Lisp - PDFSEARCH.IO - Document Search Engine

*Lisp
Results: 1687

#	Item
721	Axiomatic Language http://www.axiomaticlanguage.org/ Walter W. Wilson Lockheed Martin Emerging Languages Camp Strange Loop 2013 Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2013-09-23 18:11:56 Computing S-expression Function Axiom Expression Type system Type theory CAL Actor Language Regular expression Mathematics Lisp programming language Logic
722	Lisp in Summer Projects Submission Submission Date[removed]:21:56 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Propositional calculus Boolean algebra Logical truth Model theory Satisfiability Function Lisp Algorithm Tautology Logic Mathematics Mathematical logic
723	Implementation of Axiomatic Language Walter W. Wilson1 1 Dept. of Computer Science & Engineering The University of Texas at Arlington Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2011-07-17 21:01:28 Lisp programming language Formal languages Formal systems Functional languages Metalogic Prolog S-expression Lisp Programming language Software engineering Computer programming Computing
724	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-24 19:22:11 Functional languages Procedural programming languages Data types Computability theory Theoretical computer science Lambda calculus Recursion Lisp Map Software engineering Computing Computer programming
725	Specifying Input/Output by Enumeration Walter W. Wilson and Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Input/output is awkward in declarative languages [2]. Some functional lan Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2010-06-09 06:14:39 Lisp programming language Functional languages Cross-platform software Lisp Prolog S-expression Programming language AWK Function Computing Software engineering Computer programming
726	Lisp in Summer Projects Submission Submission Date[removed]:52:01 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Cross-platform software Tetris Arcade games Mobile games Clojure OpenGL Lisp JavaScript Software Computing Digital media
727	Sustained Coordinated Processing of Environmental Satellite Data for Climate Monitoring SCM-08 Radio Occultation based Add to Reading List Source URL: irowg.org Language: English - Date: 2014-03-24 07:10:09 Common Lisp Interface Manager Radio occultation Genera RO Software Computing Common Lisp
728	Mathematica Tips, Tricks, and Techniques When Things Go Wrong (and they will[removed]Michael A. Morrison (Version 1.2: February 2, [removed]Contents Add to Reading List Source URL: www.nhn.ou.edu Language: English - Date: 2004-08-16 04:15:16 Lisp programming language Computer algebra systems Array programming languages Functional languages Mathematica Function Read–eval–print loop Type theory Sage Mathematical software Software Science
729	ClojureScript LISP’s Revenge Wednesday, October 2, 13 ClojureScript Add to Reading List Source URL: gotocon.com - Date: 2013-10-03 09:00:08
730	ClojureScript Cheat Sheet http://github.com/clojure/clojurescript Documentation http://github.com/clojure/clojurescript/wiki Abstraction (http://clojure.org/protocols) Add to Reading List Source URL: appletree.or.kr Language: English - Date: 2012-02-15 15:52:44 Cross-platform software Functional languages Lisp programming language Clojure JavaScript Macro Constant Symbol Java Computing Computer programming Software engineering

UPDATE