Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
371	Under consideration for publication in J. Functional Programming 1 Commercial Uses: Going functional on exotic trades Add to Reading List Source URL: arbitrary.name Language: English - Date: 2008-12-09 18:09:18 Investment Functional programming Functional languages Haskell Literate programming Derivative Option Monad Hedge Software engineering Computer programming Computing
372	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory
373	WCCI 2010 IEEE World Congress on Computational Intelligence July, 18-23, [removed]CCIB, Barcelona, Spain CEC IEEE Generic Spaced DNA Motif Discovery Using Genetic Algorithm Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2010-11-07 01:40:55 DNA binding site Sequence logo DNA-binding domain Position-specific scoring matrix Protein domain Nucleic acid sequence Monad Multiple EM for Motif Elicitation Biology Bioinformatics Sequence motif
374	Specification of communication file: Product Catalogue XML – Comarch EDI Date: [removed]Specification of communication file Table shows format of the XML document describing Product Catalogue. Field name Add to Reading List Source URL: www.comarchedi.com Language: English - Date: 2014-05-22 09:35:51 Monad Global Trade Item Number Packaging and labeling Technology Writing Business Identifiers Universal identifiers Functional programming
375	Appendix: Chapter 6, §7, second printing 7 Tableaux for monadic predicate logic In this section, we extend the semantic tableau test for validity in sentential logic (see §5 of Chapter Three) to monadic predicate logi Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1997-09-24 14:52:28 Method of analytic tableaux First-order logic Quantification Monadic predicate calculus Interpretation Atomic formula Well-formed formula Monad FO Logic Mathematical logic Predicate logic
376	Programming and Reasoning with Side-Effects in I DRIS Edwin Brady 19th October 2014 Contents 1 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2014-10-26 14:43:36 Functional programming Procedural programming languages B-tree Data types Type theory ALGOL 68 Monad Polymorphism C++ classes Software engineering Computing Computer programming
377	Sequential decision problems, dependently typed solutions Nicola Botta1 , Cezar Ionescu1 , and Edwin Brady2 1 Potsdam Institute for Climate Impact Research, Telegrafenberg A31, 14473 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-06-25 15:30:23 Systems theory Software engineering Dynamic programming Control theory Procedural programming languages Bellman equation Function ALGOL 68 Monad Mathematical optimization Mathematics Equations
378	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-03-29 05:54:16 Functional programming Control flow Procedural programming languages Subroutines Recursion Monad Eval Type system List comprehension Computing Software engineering Computer programming
379	Chapter 29 Lightweight Invariants with Full Dependent Types Edwin Brady1 , Christoph Herrmann1 , Kevin Hammond1 Category: Position Paper Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2008-06-27 08:41:28 Functional programming Append Sort Quicksort Monad Partition Category Polymorphism Algebraic data type Software engineering Declarative programming Computing
380	Function Inheritance: Monadic Memoization Mixins Daniel Brown1 , William R. Cook2 1 2 Northeastern University, Boston, MA USA Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-02-24 15:46:52 Functional programming Adjoint functors Data types Programming idioms Functional languages Monad Memoization Recursion Parser combinator Software engineering Computer programming Computing

UPDATE