Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
121	Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3 Add to Reading List Source URL: cpcc.berkeley.edu Language: English - Date: 2016-06-12 17:08:37 Formal methods Theoretical computer science Bigraph Academia Lambda calculus Computer science Symbol
122	EigenCFA: Accelerating Flow Analysis with GPUs Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary Hall University of Utah, Salt Lake City, Utah, USA {tarunp,sramalin,might,mhall}@cs.utah.edu Abstract Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2011-01-29 22:45:19 Algebra Mathematics Linear algebra Matrix theory Numerical linear algebra Matrices Matrix Lambda calculus
123	Composing ComposingContracts: contracts: An Adventure in Financial Engineering Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2001-11-22 11:58:10 Lambda calculus Quantum mechanics Combinatory logic Logic in computer science Futures contract Forward contract Government procurement in the United States Derivative Observable
124	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
125	INTRODUCTION TO MEANING AND THE DYNAMICS OF INTERPRETATION Alice ter Meulen and Klaus von Heusinger This selection of original papers written by Hans Kamp—philosopherlinguist-logician-cognitive-scientist and computer-s Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2016-01-26 05:29:24 Philosophy Logic Semantics Abstraction Philosophical logic Grammar Meaning Lambda calculus Hans Kamp Presupposition Montague grammar Temporal logic
126	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:56:39 Software engineering Computer programming Computing Functional languages Evaluation strategy Computability theory Lambda calculus Theoretical computer science Lazy evaluation Functional programming ALGOL 68 Racket
127	The UNCG Class Ring Scholarship Application Sponsored by the Office of Elliott University Center The University of North Carolina at Greensboro is proud of our many students who are great examples of the hard work and d Add to Reading List Source URL: euc.uncg.edu Language: English - Date: 2016-02-08 12:29:46 University of North Carolina University of North Carolina at Greensboro North Carolina UNCG School of Music Theatre and Dance Draft:Pi Kappa Alpha: Lambda Rho
128	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 Functional languages Subroutines Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
129	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root
130	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function

UPDATE