Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
821	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
822	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
823	K-THEORETIC SCHUBERT CALCULUS FOR OG(n, 2n + 1) AND JEU DE TAQUIN FOR SHIFTED INCREASING TABLEAUX EDWARD CLIFFORD, HUGH THOMAS, AND ALEXANDER YONG Abstract. We present a proof of a Littlewood-Richardson rule for the K-th Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-14 13:11:11 Symmetric functions Representation theory Algebraic combinatorics Lambda calculus Young tableau Littlewood–Richardson rule Jeu de taquin Combinatory logic Abstract algebra Algebra Mathematics
824	The Design of a Genetic Muller C-Element∗ Nam-Phuong D. Nguyen, Hiroyuki Kuwahara, Chris J. Myers, James P. Keener University of Utah Salt Lake City, UT 84112, USA {namphuon, kuwahara, myers}@vlsigroup.ece.utah.edu, ke Add to Reading List Source URL: www.async.ece.utah.edu Language: English - Date: 2007-06-10 17:46:57 Molecular biology Green fluorescent protein Lambda phage Lac operon C-element Gene regulatory network Genetic engineering Logic gate Transcription Biology Biochemistry Gene expression
825	Towards a Portable and Mobile Scheme Interpreter Adrien Pi´erard Marc Feeley Universit´e Paris 6 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:08 Subroutines Functional programming Scheme programming language Functional languages Control flow Scheme Closure Continuation Lambda calculus Software engineering Computing Computer programming
826	Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:46 Programming language theory Type system Lambda calculus Subtype polymorphism System F Π-calculus Type safety Type theory Software engineering Theoretical computer science
827	Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-10-31 15:12:33 Functional languages Procedural programming languages Lambda calculus Cross-platform software Maple Maplesoft Partial evaluation Fixed-point combinator ALGOL 68 Software engineering Computing Computer programming
828	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.nexr.com 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
829	Conference Chairs Conor Ahern Ma’ayan Anafi Caroline Sacerdote Conference Committee Austin Anderson Add to Reading List Source URL: orgs.law.harvard.edu Language: English - Date: 2014-03-02 18:00:12 National LGBT Bar Association Lambda Legal LGBT organizations LGBT Culture LGBT rights organizations Immigration Immigration equality
830	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: ftp.iitm.ac.in 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