Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
151	PDK Updates from CEO @pdkintl July 2016 Add to Reading List Source URL: pdkintl.org Language: English - Date: 2016-07-26 14:28:04 Phi Delta Kappa Honor societies PDK Pi Lambda Theta Fraternities and sororities Delta Kappa Education in the United States
152	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
153	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
154	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
155	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
156	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
157	Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen Frank Tip Ondˇrej Lhot´ak Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2016-05-16 09:01:50 Software engineering Software Computing Models of computation Cross-platform software Scripting languages Joyent Node.js Lambda calculus Event Call graph JavaScript
158	Providing service, research, and leadership since 1906 www.pdkintl.org For Immediate Release A letter to PDK members Add to Reading List Source URL: pdkintl.org Language: English - Date: 2016-04-19 09:52:06 Honor societies PDK Pi Lambda Theta Phi Delta Kappa
159	Optimal auto–regulation to minimize first–passage time variability in protein level Khem Raj Ghusinga1 , Pak–Wing Fok2 and Abhyudai Singh3 Abstract— The timing of cellular events is inherently random because of t Add to Reading List Source URL: udel.edu Language: English - Date: 2015-05-14 10:08:17 Lambda phage Siphoviridae First-hitting-time model
160	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form

UPDATE