Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
841	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
842	The Z/EVES Reference Manual (for Version 1.5) TR03d Irwin Meisels and Mark Saaltink Release date: December 1995 Latest revision date: September 1997 Add to Reading List Source URL: www.oracanada.com Language: English - Date: 2009-03-31 21:35:27 Oxford University Computing Laboratory Z notation Formal methods Model theory Functions and mappings First-order logic Function S Lambda calculus Mathematical logic Mathematics Logic
843	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
844	NATIONAL ASSOCIATION OF GRADUATE-PROFESSIONAL STUDENTS April 5, 2013 The Honorable Patrick Leahy 437 Russell Senate Building Add to Reading List Source URL: nagps.org Language: English - Date: 2013-04-05 15:33:12 Sigma Alpha Lambda National Space Grant College and Fellowship Program National Basketball Association Draft Honor societies Professional fraternities and sororities
845	1 Image Decomposition Via the Combination of Sparse Representations and a Variational Approach Add to Reading List Source URL: jstarck.free.fr Language: English - Date: 2004-09-14 21:55:35 Unitary operators Integral transforms Image processing Wavelets Curvelet Lambda calculus Fourier transform Matching pursuit Basis pursuit denoising Mathematical analysis Mathematics Fourier analysis
846	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.uni-muenster.de Language: English - Date: 2005-02-21 10:32:35 Weibull distribution Normality test Kurtosis Skewness Normal distribution Plot Gamma distribution Exploratory data analysis Tukey lambda distribution Statistics Survival analysis Q-Q plot
847	Lambda Lifting c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia August 28th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-08-28 05:52:14 Subroutines Java programming language C++ Method Source code Closure Nested function Constructor Java syntax Software engineering Computing Computer programming
848	LENS SPREADSHEET EDITOR Top Level Lens Editing Functionality Richard N. Youngworth - Presenter Proprietary ‒ Lambda Research Corporation Add to Reading List Source URL: www.lambdares.com Language: English - Date: 2015-03-27 10:45:27 Comparison of spreadsheet software Spreadsheet Software Sheetster
849	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.sciserv.eu Language: English - Date: 2005-02-21 10:32:35 Weibull distribution Normality test Kurtosis Skewness Normal distribution Plot Gamma distribution Exploratory data analysis Tukey lambda distribution Statistics Survival analysis Q-Q plot

UPDATE