Functional - PDFSEARCH.IO - Document Search Engine

Functional
Results: 21977

#	Item
651	How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. Yorgey Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Algebra Mathematics Abstract algebra Semigroup theory Monoidal categories Functional programming Programming idioms Algebraic structures Monoid Monad Functor Semigroup action
652	Uniqueness Typing Simplified Edsko de Vries1⋆ , 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 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
653	Semantic web: from XML to OWL Pierre Genevès CNRS Nabil Layaïda Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Computing Data Functional languages Data management Markup languages 4GL XQuery Semantic Web NoSQL
654	Learn OCaml An Online Learning Center for OCaml Benjamin Canou Gr´egoire Henry Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:18:23 Software engineering Computer programming Computing Functional languages OCaml Caml Massive open online course Comment Readevalprint loop Foreach loop
655	Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2016-03-07 03:07:07 Mathematical analysis Distribution Functional analysis Linear temporal logic
656	� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:09:30 Software engineering Computer programming Computing Data types Lisp Functional languages Object-oriented programming languages Geographic information system Object-oriented programming Cons Frame language Cellular automaton
657	Manual-ElectrodiagnosticsAndElectrotherapy Add to Reading List Source URL: ubi.lf1.cuni.cz Language: English - Date: 2013-10-07 03:43:41 Electrotherapy Medicine Clinical medicine Health care Chronaxie Functional electrical stimulation Transcutaneous electrical nerve stimulation Capacitor
658	U:MDLPDE•5-ISSUESLPDE-40(5)LPDE992533FORONLINE.DVI Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-04-09 05:05:13 Mathematical analysis Calculus Mathematics Differential equations Generalized functions Functional analysis Spectral theory Heat equation Heat transfer Distribution Partial differential equation Heat kernel
659	Prajna: Cloud Service and Interactive Big Data Analytics (Distributed Platform Building Leverage Functional Programming) Jin Li, Sanjeev Mehrotra and Weirong Zhu Microsoft One Microsoft Way, Bld. 99, Redmond, WA, USA {ji Add to Reading List Source URL: msrccs.github.io Language: English - Date: 2015-12-23 17:23:59 Computing Software engineering Computer programming Higher-order functions Programming language comparisons Parallel computing Apache Software Foundation Fold Recursion Apache Spark MapReduce Map
660	Paul Bracher Chem 30 – Section 8 Section Solution Set Carbonyl Chemistry III, Reactions at the Alpha Position Add to Reading List Source URL: www.paulbracher.com Language: English - Date: 2015-02-10 17:17:17 Chemistry Functional groups Carbonyl group Acid Ketoenol tautomerism Chlorides Phenylsilane Metal halides

UPDATE