Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
271	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression
272	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
273	Modeling Phage in a Predator-‐Prey System PAK-‐WING FOK (UNIVERSITY OF DELAWARE) JOHN DENNEHY (QUEEN’S COLLEGE, CITY UNIVERSITY OF NEW YORK) Goal of this workshop Add to Reading List Source URL: udel.edu Language: English - Date: 2014-06-22 09:05:52 Bacteriophages Myoviridae Lysogen Lambda phage Phage ecology
274	Latino Resources on Campus 1 \| 2 UIC CAMPUS LATINO RESOURCE GUIDE Add to Reading List Source URL: latinocultural.uic.edu Language: English - Date: 2016-07-20 13:26:20 Latin American studies North-American Interfraternity Conference Critical race theory Latino studies Postmodernism Sigma Lambda Beta National Institute for Latino Policy
275	Semantics of System F Paul Taylor June 1988 This is Appendix A to Proofs and Types by Jean-Yves Girard, translated and with appendices by Yves Lafont and myself, published by Cambridge University Press, 1988. In this app Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:37 General topology Embedding Coherent topology Sheaf Lambda calculus
276	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
277	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
278	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
279	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
280	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system

UPDATE