Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
331	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Computing Search algorithms Data types Type theory Enumerated type Lambda calculus Scala Foreach loop Combinatory logic Comparison of C Sharp and Java
332	Support Action Big Data Europe – Empowering Communities with Data Technologies Project Number: 644564 Add to Reading List Source URL: www.big-data-europe.eu Language: English - Date: 2015-06-01 06:09:17 Data management Software architecture Big data Technology forecasting Transaction processing Lambda architecture Apache Mesos Extract transform load Architectural pattern Borland Database Engine Database
333	Introduction to Rcpp and RcppArmadillo Pre-Conference Tutorial Dirk Eddelbuettel R/Finance 2016 May 20, 2016 Add to Reading List Source URL: dirk.eddelbuettel.com Language: English - Date: 2016-05-23 22:56:13 Subroutines Lambda calculus Data types Recursion
334	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: ndmitchell.com Language: English Software engineering Declarative programming Lambda calculus Computer programming Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function
335	from python import lecture A gentle introduction to the python programming language Muli Ben-Yehuda Add to Reading List Source URL: www.mulix.org Language: English - Date: 2016-06-16 09:04:09 Subroutines Functional programming Lambda calculus Anonymous function Parameter List comprehension Python syntax and semantics Lazy evaluation
336	Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:57 Software engineering Computer programming Declarative programming Functional programming Models of computation Monad Substitution Lambda calculus
337	Déductions d’après affiches MERCREDI 07 MARS 2012 Dominique Ziegler EN COULISSE En ces temps de votations, il est parfois instructif pour le citoyen lambda de s’arrêter devant les affiches de propagande politique. Add to Reading List Source URL: www.dominiqueziegler.com Language: French - Date: 2015-06-08 08:55:39
338	Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Declarative programming Functional programming Evaluation strategy Programming paradigms Lambda calculus Functional languages Reactive programming Functional reactive programming Scala Ur
339	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
340	Lambda at a glance: • Medipix3 read out chip • Effectively zero noise (photon counting) • 55 µm pixel size • Up to 2000 frames per second • Deadtime-free readout Add to Reading List Source URL: www.x-spectrum.de Language: English - Date: 2016-05-09 21:10:19

UPDATE