*Lisp - PDFSEARCH.IO - Document Search Engine

*Lisp
Results: 1687

#	Item
541	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:12 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory
542	(An Introduction To) Functional Programming Sean Corfield Railo Technologies, Inc. cf.Objective(), May 12-14, 2011 Minneapolis, MN Add to Reading List Source URL: corfield.org Language: English - Date: 2011-05-14 11:58:01 Functional languages Higher-order functions Functional programming Programming paradigms Lisp programming language Railo Lisp Clojure ColdFusion Markup Language Software engineering Computing Computer programming
543	A Tutorial For Creating and Publishing Open Source Lisp Software Robert Smith Secure Outcomes IncEvergreen Pkwy Ste 200 Evergreen, COUSA Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-09-25 21:58:30 Functional languages Lisp programming language Distributed revision control systems Another System Definition Facility Common Lisp Lisp Defun Average Mercurial Computer programming Computing Software
544	4.0b Bigloo A practical Scheme compiler User manual for version 4.0b August 2013 Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2013-08-01 01:02:10 Bigloo Lisp programming language Scheme Perl Hop Header file Perl module D Computer programming Software engineering Computing
545	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming
546	Enabling cross-library optimization and compile-time error checking in the presence of procedural macros ∗ Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-01-06 10:40:56 Cross-platform software Scheme C Library Template metaprogramming Eval D Lisp JavaScript Computing Software engineering Computer programming
547	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
548	Multi-Stage Construction of a Global Static Analyzer (in G LOBAL G CC project) Basile Starynkevitch CEA LIST (Software Reliability Lab.) Add to Reading List Source URL: starynkevitch.net Language: English - Date: 2007-11-12 02:37:07 Data types Cross-platform software Compiler construction Primitive types Type theory Pointer GNU Compiler Collection C Lisp Software engineering Computing Computer programming
549	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
550	Implementing R7RS on an R6RS Scheme system Takashi Kato Bell ID B.V. Abstract Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-11 12:30:16 Lisp programming language Scheme programming language Functional languages Transformation languages Scheme Hygienic macro Symbol S-expression Lisp Computing Software engineering Computer programming

UPDATE