Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
271	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:32 Inline expansion Subroutines Comparison of C Sharp and Java JavaScript Separation of concerns Monad Software engineering Computer programming Computing
272	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Extended Version Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2013-08-05 06:28:09 Computer programming Functional programming Control flow Monad Central processing unit Parallel computing Scheduling Futures and promises Thread Computing Software engineering Adjoint functors
273	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
274	JavaScript and Browser Objects Quick Reference JavaScript Bible, 6th Edition Danny Goodman Appendix A Add to Reading List Source URL: www.dannyg.com Language: English - Date: 2007-08-16 03:00:00 Scripting languages Higher-order functions JavaScript Functional programming Ajax XMLHttpRequest Map Uniform resource identifier Monad Computing Software engineering Computer programming
275	Folding Domain-Specific Languages: Deep and Shallow Embeddings (Functional Pearl) Jeremy Gibbons Nicolas Wu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-07-22 11:18:20 Higher-order functions Functions and mappings Category theory General topology Functors Fold Monad Map Functor Mathematics Topology Abstract algebra
276	From B to ABC: the Salient Changes Lambert Meertens CWI The past year, we have been working hard on the revision from B to ABC, making an inventory of proposed changes (using the experience collected over several Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-05 10:34:25 Procedural programming languages Functional programming Monad ALGOL 68 Forth Bc programming language Parameter Eval Computing Software engineering Computer programming
277	Assigning to a Variable Assigning to a Variable What is the result of this program? let f = proc(x) set x = 1 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Functional programming Monad Subroutines Assignment Digital geometry Anonymous function Closure Software engineering Computing Computer programming
278	Fun with type functions Oleg Kiselyov Simon Peyton Jones Chung-chieh Shan Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-03 07:13:24 Type theory Data types Functional programming Monad Generic programming Type class Type inference Type system Polymorphism Software engineering Computing Computer programming
279	Memories of Somewhere, to Somewhere Else (for three voices) When not in shuffle mode you know what I mean, shuffle? (poly wants a monad wants to compre-squawk what’s meant by—) When not pinned-down on “selective” Add to Reading List Source URL: epc.buffalo.edu Language: English - Date: 2005-08-12 08:45:45 Hip hop fashion Jewellery Onomatopoeia Linguistics Over Culture Singles Bling-bling Fashion
280	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics

UPDATE