Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
631	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:38 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
632	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
633	Article Addendum Article Addendum Bacteriophage 4, e27517; January–December 2014; © 2014 Landes Bioscience Add to Reading List Source URL: www.nbi.dk Language: English - Date: 2014-01-03 09:22:46 Virology DNA Molecular biology Lambda phage DNA supercoil Lysogen Prophage CI protein Lytic cycle Biology Microbiology Bacteriophages
634	BRICS RSK. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-23 17:22:09
635	Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2013-12-29 19:43:45 Applied mathematics Theoretical computer science Data types Polymorphism Lambda calculus Π-calculus Type system Subtype polymorphism System F Mathematics Type theory Software engineering
636	Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning 1 Introduction Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-04-11 09:45:18 Lambda calculus Theoretical computer science MUMPS Computer science Computing Data management Computability theory
637	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
638	<4D6963726F736F667420506F776572506F696E74202D2054696B686F6E6F76205BD0E5E6E8EC20F1EEE2ECE5F1F2E8ECEEF1F2E85D> Add to Reading List Source URL: cns.pnpi.spb.ru Language: English - Date: 2009-06-13 12:45:48 Large-scale structure of the cosmos Dark matter Exotic matter Void Galaxy Cosmic distance ladder Star Lambda-CDM model Physics Astronomy Physical cosmology
639	BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-13 09:59:00 Computational complexity theory Continuation-passing style Continuations Functional programming Lambda calculus Static single assignment form Reduction Theoretical computer science Applied mathematics Software engineering
640	BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-22 05:30:06 Continuations Functional programming Continuation-passing style Programming language semantics Eval Evaluation strategy Continuation Lambda calculus Operational semantics Software engineering Computing Control flow

UPDATE