Lisp - PDFSEARCH.IO - Document Search Engine

Lisp
Results: 1687

#	Item
561	Experiences with Scheme in an Electro-Optics Laboratory Richard A. Cleis Keith B. Wilson Air Force Research Laboratory Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:13 Scripting languages Functional languages Lisp programming language Racket Read–eval–print loop Scheme Lua Eval JavaScript Computing Software Cross-platform software
562	A Stepper for Scheme Macros Ryan Culpepper Matthias Felleisen Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:15 Functional languages Lisp programming language Transformation languages Source code Macro programming languages Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
563	Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:55:25 Type theory Functional languages Functional programming Lisp programming language Data types Append List Cons Dependent type Software engineering Computing Declarative programming
564	PDF Document Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:49:14 HTML Graphical user interfaces Markup languages Hop Lisp programming language JavaScript Cascading Style Sheets GUI widget Java Computing Software Cross-platform software
565	A Crash Course in Scala Amir H. Payberah Swedish Institute of Computer Science April 15, 2014 Add to Reading List Source URL: www.sics.se Language: English - Date: 2014-04-15 03:33:29 Functional languages Programming paradigms Functional programming Lisp programming language Java platform Scala Assignment Object-oriented programming Swedish Institute of Computer Science Software engineering Computing Computer programming
566	Newgen User Manual Pierre Jouvelot Rémi Triolet CRI, Maths & Systems, MINES ParisTech, 35, rue Saint-Honoré, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-03-26 10:27:01 Lisp programming language Data types Functional languages Procedural programming languages Cross-platform software Lisp Pointer Printf format string Function Software engineering Computer programming Computing
567	Revised5.96 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 01:14:13 Subroutines Functional languages Procedural programming languages Cross-platform software Data types Scheme Lisp Closure Programming language Software engineering Computing Computer programming
568	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.sunet.se Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
569	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics
570	UNIX Basics CHRIS FAUST by Peter Collinson, Hillside Systems Add to Reading List Source URL: www.hillside.co.uk Language: English - Date: 2002-03-18 09:31:28 User interface techniques Vi Text Editor and Corrector Mode Emacs Lisp Editor war Control key Ed Yi Software Emacs Text editors

UPDATE