Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
181	Microsoft PowerPoint - lecture-oop3-sp05v3.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-17 08:38:22 Software engineering Lambda calculus Anonymous function Functional programming Subroutines Computing Computer programming
182	Dark Radiation and Inflationary Freedom S. Gariazzo (University of Torino - INFN, Torino– ) in collaboration with E. Di Valentino, M. Gerbino, E. Giusarma Abstract A non-standard primordial power spe Add to Reading List Source URL: personalpages.to.infn.it Language: English - Date: 2015-12-10 04:51:38 Physical cosmology Astronomy Physics Outer space Planck Lambda-CDM model Cosmic microwave background Inflation Dark energy Chronology of the universe Universe
183	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
184	FW micro loan application form Oct 2015 web.indd Add to Reading List Source URL: www.financewales.co.uk Language: English - Date: 2015-11-10 08:32:35 Expected value Limit of a function Lambda calculus
185	PI LAMBDA THETA CHAPTER BYLAWS TEMPLATE Add to Reading List Source URL: pilambda.org Language: English - Date: 2015-08-04 04:20:06 Administrative law By-law Parliamentary procedure Fraternities and sororities in the United States Kappa Pi Zeta Psi
186	Modular Static Analysis with Zonotopes Eric Goubault, Sylvie Putot, and Franck V´edrine CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif su Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-01-29 06:03:28 Mathematics Affine geometry Affine arithmetic Affine space Lambda calculus Abstract interpretation Function
187	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
188	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
189	Student Life Mission Student Life supports the mission of the university and the Division of Student Affairs through community engagement and professional development as primary areas of practice. Add to Reading List Source URL: stuaff.mst.edu Language: English - Date: 2014-01-22 05:30:55 Volunteerism Student affairs Alternative break V-12 Navy College Training Program Student activities Structure Professional studies Sigma Lambda Beta
190	Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-02-14 20:56:25 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur

UPDATE