*Lisp - PDFSEARCH.IO - Document Search Engine

*Lisp
Results: 1687

#	Item
591	The i n te g r a te d c r os s -p l a t fo r m de v e l o p m e nt to ol fo r ANS I Com m o n Li s p Add to Reading List Source URL: www.lispworks.com Language: English - Date: 2015-01-22 10:11:30 Lisp programming language Functional languages Cross-platform software Computing platforms LispWorks Common Lisp Allegro Common Lisp Software Computing Computer programming
592	Self-Reproducing Programs in Common Lisp Peter Norvig Computer Science Division, University of California Berkeley, CA 94720 Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 19:45:42 Lisp programming language Lambda calculus Functional languages Functional programming Lisp Eval Combinatory logic Scheme Lambda Software engineering Computing Computer programming
593	LISP { a Language for Internet Scripting and Programming Timothy J. Hickey, Peter Norvigy Kenneth R. Andersonz Abstract Add to Reading List Source URL: www.norvig.com Language: English - Date: 2000-06-23 18:34:59 Lisp programming language Cross-platform software Functional languages Lisp Java applet Java Cons Factor Genera Computing Software engineering Computer programming
594	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
595	CDuce Programming Language Tutorial Language Version 0.3.2+3 1 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:29 Markup languages Technical communication Lisp programming language XQuery CDuce PCDATA Pattern matching Type system CDATA Computing XML Software engineering
596	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics
597	Ficl - Object Forth Wraps C Structures 20th FORML Conference 1 November 1998 John Sadler Add to Reading List Source URL: ficl.sourceforge.net Language: English - Date: 2003-05-20 19:03:28 Object-oriented programming Object Metaclass Class Forth Common Lisp Object System Method Pointer C++ Software engineering Computer programming Computing
598	Reader #3: CS61B Tools Documentation Fall 2007 Paul N. Hilfinger University of California, Berkeley Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2007-08-26 20:46:48 Text editors Vi Control key Less Grep Ed Find Archy Emacs Lisp Software Computing Emacs
599	The Murray Mallee & Murraylands LISP DIRECTORY Low Income Support Program COMPILED BY Add to Reading List Source URL: accare.org.au Language: English - Date: 2015-01-07 23:59:49 Geography of South Australia Ngarrindjeri Murray River Murray-Darling basin Tailem Bend South Australia Murray Mallee The Coorong District Council Murraylands States and territories of Australia Geography of Australia South Australia
600	exterminate all rational thought… hit reload to do it again… Add to Reading List Source URL: klaus-johansen.dk Language: English - Date: 2007-10-22 21:53:45 Lisp programming language Jamie Zawinski Netscape LiveJournal Lisp machine Lisp 9 Eckankar Software Computing Emacs

UPDATE