Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
811	Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Applied mathematics Process calculi Π-calculus Lambda calculus Valuation Function Curry–Howard correspondence Holomorphic functional calculus Mathematics Theoretical computer science Abstract algebra
812	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.cc.uoc.gr 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
813	On η-Expansion in NbE and Type Casts Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich 13 October 2011 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-10-13 14:43:05 Mathematical logic Normalisation by evaluation Database normalization Ordered pair Data management Mathematics Lambda calculus Type theory
814	An LLVM backend for OCaml Colin Benner University of Siegen September 14, 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages Programming language implementation Compiler construction OCaml Subroutines Lambda calculus LLVM Preprocessor ML Software engineering Computing Computer programming
815	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.repo.bppt.go.id 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
816	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
817	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
818	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
819	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
820	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.md.tsukuba.ac.jp 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