SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
341	Func%onal Programming for Large and Dynamic Data with Self-‐Adjus%ng Computa%on Yan Chen MPI-‐SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-09-09 08:39:41 Higher-order functions Programming language comparisons Parallel computing Fold Recursion Speedup MapReduce Map NESL
342	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
343	Champaign-Urbana Weather Observations Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2012-02-06 15:10:18 Precipitation Snow Blizzards Ice storms Snow in Florida February 2007 North American blizzard
344	Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-08-29 08:54:52 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Differential topology Symbol Table of stars with Bayer designations
345	Fact Sheet 1 from Contract ReportChanging Groundwater Levels in the Cambrian-Ordovician Sandstone Aquifers of Northern Illinois, Daniel R. Hadley, Daniel B. Abrams, Devin H. Mannix, Scott C. Meyer, an Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2016-02-12 13:26:14 Hydrology Hydraulic engineering Bodies of water Water Aquifers Aquifer Groundwater Water well Cone of depression Hydrogeology
346	Superficially Substructural Types Neelakantan R. Krishnaswami Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-08-29 08:54:44 Symbol Constructible universe Measure theory Generalised Whitehead product Sigma-algebra
347	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
348	M. Sc. Klinische Psychologie 1.FS Übergreifende psychologische Module (12 KP) Arbeits- & V; 2 SWS; 3 KP Organisationspsychologie Add to Reading List Source URL: www.ruhr-uni-bochum.de - Date: 2013-02-13 04:49:06
349	A foundation for trait-based metaprogramming John Reppy Aaron Turon University of Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:27 Type theory Classical genetics Object-oriented programming languages Genetics C++ Trait Mixin Quantitative trait locus Natural selection Multiple inheritance Inline expansion Abstract type
350	Exploring the design space of social network-based Sybil defenses Bimal Viswanath∗, Mainack Mondal∗ , Allen Clement∗, Peter Druschel∗, Krishna P. Gummadi∗ , Alan Mislove†, and Ansley Post∗ ∗ Max Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-12-17 12:10:14 Computer network security Reputation management Sybil attack Distributed data storage Cryptocurrencies Networks Reputation system Sibyl Distributed hash table Sybil Dash Community structure

UPDATE