Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
241	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
242	c ACM, 2009. 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 the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
243	Final version to appear in OnwardSlimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi Brown University Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-07-24 12:41:04 Subroutines Functional programming Higher-order functions Programming language comparisons Lambda calculus Scope Fold Apply JavaScript Map Reserved word This
244	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
245	Architecting for Genomic Data Security and Compliance in AWS Working with Controlled-Access Datasets from dbGaP, GWAS, and other Individual-Level Genomic Research Repositories Angel Pizarro Add to Reading List Source URL: d0.awsstatic.com Language: English - Date: 2014-12-11 13:54:38 Cloud infrastructure Amazon Web Services Amazon Virtual Private Cloud Virtual private cloud Amazon Elastic Compute Cloud Amazon S3 Amazon Relational Database Service Amazon ElastiCache Amazon.com Cloud computing Eucalyptus AWS Lambda
246	Astronomy & Astrophysics A&A 580, L4DOI: Add to Reading List Source URL: www.aanda.org Language: English Physical cosmology Reionization Redshift Cosmic microwave background Quasar The Dark Energy Survey Planck Lambda-CDM model Galaxy Dark matter
247	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
248	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
249	THE FRATERNITY WAY 2016 \| IFC \| INTERFRATERNITY COUNCIL "The Order of the Greek Horsemen was founded in 1955 by students Frank "Sonny" Seiler, John Wilkins and Donald Joel with John Cox, Director of Student Activities, Add to Reading List Source URL: ifc.uga.edu Language: English - Date: 2016-06-09 17:28:33 North-American Interfraternity Conference Fraternities and sororities Greek life at the University of Georgia University of Georgia Delta Sigma Phi Colony Lambda Phi Epsilon Marquette University fraternity and sorority system University of Virginia Greek life
250	Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:46 Constraint programming Constraint satisfaction problem Lambda calculus Constraint Constraint logic programming Constraint satisfaction

UPDATE