Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
171	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
172	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
173	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
174	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
175	A theory of granular parthood based on qualitative cardinality and size measures Thomas BITTNER1,2,3,4 and Maureen DONNELLY1,3 1 Department of Philosophy, 2 Department of Geography 3 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2006-11-21 12:49:37 Mathematics Algebra Abstract algebra Finite fields Cardinality First-order logic XTR Limit of a function Metric Algebraic number field Lambda lifting
176	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
177	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan
178	A Safe Screening Rule for Sparse Logistic Regression Jie Wang1 , Jiayu Zhou1 , Jun Liu2 , Peter Wonka1 , and Jieping Ye1 arXiv:1307.4145v2 [cs.LG] 18 Jul Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:10:32 Operator theory Ordinary differential equations Spectral theory Logic in computer science Lambda calculus
179	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:57:52 Software engineering Computer programming Computing Functional programming Data types Control flow Eval Lambda calculus Subroutines Interpreter Higher-order function ECL programming language
180	Genome Informatics 12: 54–XML Documentation of Biopathways and Their Simulations in Genomic Object Net Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:05 Computing Lambda phage Siphoviridae Bioinformatics CII protein Petri net Document type definition

UPDATE