Eval - PDFSEARCH.IO - Document Search Engine

Eval
Results: 2940

#	Item
871	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
872	Introduction to the off-line version of Yacas by the Yacas team 1 Yacas version: 1.3.6 Add to Reading List Source URL: yacas.sourceforge.net Language: English - Date: 2014-11-25 15:54:56 Command shells Eval Command-line interface Read–eval–print loop Find Test Computing Software Yacas
873	Extracted from: Programming Clojure Second Edition This PDF file contains pages extracted from Programming Clojure, published by Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-04-10 15:33:18 Functional languages Lisp programming language Clojure Programming paradigms Lisp Cross-platform software Dynamic programming language Read–eval–print loop Macro Computing Software engineering Computer programming
874	MEAP Edition Manning Early Access Program Add to Reading List Source URL: www.manning.com Language: English - Date: 2015-03-23 20:31:05 Cross-platform software Web application frameworks Groovy Grails Griffon Gradle Play Framework Java Read–eval–print loop Computing Software Java platform
875	Extracted from: Mastering Clojure Macros Write Cleaner, Faster, Smarter Code This PDF file contains pages extracted from Mastering Clojure Macros, published Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-08-29 19:39:54 Source code Functional languages Clojure Macro programming languages Eval Macro Syntax Red TeX Computing Computer programming Software engineering
876	Visual Python KMUTT CS101 June 2003 Add to Reading List Source URL: www.cmsthailand.com Language: English - Date: 2008-04-11 22:16:18 Subroutines Data types Scripting languages Python Lambda calculus Function Eval Variable C++ classes Software engineering Computing Computer programming
877	Test-Driven Development for Embedded C Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-08-29 20:35:29 Extreme programming Software development process Software testing Test-driven development Software bug Embedded system Cross compiler Eval Compiler Software development Software Computing
878	A Second Look WOW, we are nearing the halfway point of this research study of the bowling-specific training program. The subject has faithfully stuck with the program even while traveling on vacation, bowling in Reno, th Add to Reading List Source URL: webpages.charter.net Language: English - Date: 2006-07-02 15:54:37 Chemistry Biology Nutrition Cholesterol Steroids Sterols High-density lipoprotein Low-density lipoprotein Eval Cardiology Lipoproteins Health
879	Seq no more: Better Strategies for Parallel Haskell Simon Marlow Patrick Maier Hans-Wolfgang Loidl Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-08-02 12:01:28 Parallel computing Functional languages Functional programming Procedural programming languages Models of computation Algorithmic skeleton Monad Denotational semantics Eval Computing Software engineering Computer programming
880	Extracted from: Metaprogramming Ruby 2 Program Like the Ruby Pros This PDF file contains pages extracted from Metaprogramming Ruby 2, published Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-08-12 20:32:48 Object-oriented programming Scripting languages Method Ruby D Symbol Eval String interning Class Software engineering Computing Computer programming

UPDATE