Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
281	Lightweight Monadic Programming in ML Nikhil Swamy⋆ ⋆ Nataliya Guts† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-06-30 10:53:02 Mathematics Computer programming Type theory Monad Admissible rule Type class Valuation Denotational semantics Adjoint functors Functional programming Software engineering
282	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
283	A demo of Coco: a compiler for monadic coercions in ML Nataliya Guts† † Michael Hicks† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-08-29 10:40:12 Type theory Data types Functional languages Functional programming Adjoint functors Monad Type class OCaml ML Software engineering Computing Computer programming
284	Efficiency of Molecular Machines Thomas D. Schneider, Ph.D. National Cancer Institute at Frederick Center for Cancer Research Nanobiology Program Molecular Information Theory Group Add to Reading List Source URL: www.case.edu Language: English - Date: 2010-08-08 14:13:58 Gene expression RNA RNA polymerase Information theory Monad Genetics Chemistry Adjoint functors Biology Enzymes
285	Typeclassopedia Funktoren, Monaden, Arrows Typklassen fu¨r Typkonstruktoren Robert Steuck Add to Reading List Source URL: www.fh-wedel.de Language: English - Date: 2011-05-19 08:20:21 Computer programming Computing Monad Map Functor Arrow Federal Medical Assistance Percentages Software engineering Functional programming Adjoint functors
286	µKanren: A Minimal Functional Core for Relational Programming Jason Hemann Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Functional programming Search algorithms Monad Scheme ALGOL 68 Backtracking Software engineering Programming language theory Computer programming
287	Changes in the Berwickshire Flora since the New Atlas Michael E Braithwaite1 A project to repeat-record the vice-county of Berwickshire hectad2 by hectad was two-thirds complete by the end of 2011 enabling provisional re Add to Reading List Source URL: bsbi.org.uk Language: English - Date: 2015-03-03 13:51:09 Measurement Tetrad Sedum Hectad Monad Berwickshire Rumex longifolius Invasive species Duns Adjoint functors Environment Conservation
288	Parallel Coordination Made Explicit in a Functional Setting Jost Berthold and Rita Loogen Philipps-Universit¨ at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMarburg, Germany Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-06-11 09:40:29 Parallel computing Application programming interfaces Concurrent computing Algorithmic skeleton Threads Haskell Kahn process networks Futures and promises Monad Computing Computer programming Software engineering
289	A Methodology for Generating Verified Combinatorial Circuits ∗ Oleg Kiselyov Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-08-11 22:06:49 Lambda calculus Programming language implementation Digital signal processing Functional languages Computer performance Monad Fast Fourier transform FFTW Fixed-point combinator Computing Computer programming Software engineering
290	LilyPond The music typesetter Extending The LilyPond development team Add to Reading List Source URL: www.lilypond.org Language: English - Date: 2014-03-17 12:48:23 Lisp programming language Functional programming Scheme GNU Guile GNU LilyPond Lisp Cons ALGOL 68 Monad Computing Software engineering Computer programming

UPDATE