*Lisp - PDFSEARCH.IO - Document Search Engine

*Lisp
Results: 1687

#	Item
741	PVS Release Notes Sam Owre SRI International July 20, 2008 Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2008-07-21 06:13:57 Functional languages Type theory Common Lisp Cross-platform software Lisp Emacs Dependent type Subtype polymorphism Software Computing Lisp programming language
742	An Introduction to Programming in Emacs Lisp Reviewer: Hong Feng [removed] Feb 01, 2002 without a limit. (Can you do these jobs inside MSWord?) Add to Reading List Source URL: www.free-soft.org Language: English - Date: 2002-03-05 08:43:06 GNU ELIZA Editor war Gosling Emacs Software Emacs Lisp
743	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
744	Microsoft PowerPoint - 04.Kiefer Lincoln WestON 2014 Climate Change Add to Reading List Source URL: www.ucdenver.edu Language: English - Date: 2014-09-22 16:15:28 Ource Common Lisp Common Lisp Interface Manager Ofu
745	Microsoft Word - 2011_Minutes_teleconference_27092011_definite_version.doc Add to Reading List Source URL: www.euro4m.eu Language: English - Date: 2011-12-14 08:46:44 Deutscher Wetterdienst Deliverable Common Lisp Interface Manager European Union Political philosophy Europe Space policy of the European Union European Space Agency Global Monitoring for Environment and Security
746	A companion booklet to ”Functional Programming in Scala” Chapter notes, errata, hints, and answers to exercises Rúnar Óli Bjarnason This book is for sale at http://leanpub.com/fpinscalacompanion This version was p Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2015-03-05 16:42:03 Data types Functional programming Lisp programming language Higher-order functions Abstract data types Cons Fold List ALGOL 68 Software engineering Computing Computer programming
747	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; A few things before you read my .emacs: ;; −I’ve never learnt emacs−Lisp, so my programming style is awful. ;; Those are mainly ad Add to Reading List Source URL: www.rouquier.org Language: English - Date: 2007-07-20 10:21:54 Emacs Text editors Functional languages Lisp programming language Macro programming languages Lisp AUCTEX LaTeX Eval Software Computing Application software
748	Microsoft PowerPoint - AOPC_Feb11.ppt [Alleen-lezen] Add to Reading List Source URL: www.euro4m.eu Language: English - Date: 2011-12-14 08:40:06 SMHI Common Lisp Interface Manager Weather prediction Statistical forecasting Meteorological reanalysis ERA-40 Atmospheric sciences Meteorology HIRLAM
749	Full Metal Jacket: A Pure Visual Dataflow Language Built on Top of Lisp. Donald Fisk England United Kingdom Add to Reading List Source URL: web.onetel.com Language: English - Date: 2006-01-22 17:55:04 Lisp programming language Visual programming languages Functional languages Computer architecture Dataflow Prograph Directed acyclic graph Lisp Read–eval–print loop Computing Software engineering Computer programming
750	Creating an Environment for Reusable Software Research: A Case Study in Reusability Matt Curtin The Ohio State University Department of Computer and Information Science Add to Reading List Source URL: www.interhack.net Language: English - Date: 2002-07-29 21:28:35 Emacs Cross-platform software Lisp programming language Procedural programming languages Text editors Lisp C Defun Read–eval–print loop Software Computing Computer programming

UPDATE