Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
731	Combining Syntactic and Semantic Bidirectionalization Janis Voigtl¨ander ∗ University of Bonn Add to Reading List Source URL: www.iai.uni-bonn.de Language: English - Date: 2013-10-15 04:10:02 Software engineering Computer programming Computing Functional programming Monad Constructible universe
732	Type Inference and Optimisation for an Impure World. Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-04-28 07:18:39 Functional languages Type theory Functional programming Procedural programming languages Data types Haskell Type class Monad ML Software engineering Computer programming Computing
733	Why Standard ML? A language particularly suited to compiler implementation. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2004-01-09 16:57:18 Procedural programming languages Functional languages Functional programming Type theory Standard ML Data types ML Monad Pattern matching Software engineering Computing Computer programming
734	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-04-05 05:53:11 Programming language implementation Computing Functional programming Parser combinator Recursive descent parser Monad Compiler-compiler Formal grammar SYNTAX Formal languages Software engineering Parsing
735	PDF Document Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 20:52:33 Functional programming Higher-order functions Data types Lisp programming language Fold Recursion Map Append Monad Software engineering Computing Computer programming
736	PDF Document Add to Reading List Source URL: www.irt.uni-hannover.de Language: English - Date: 2010-03-23 07:02:50 Procedural programming languages ALGOL 68 C Pointer SQL Monad Goto PL/I Computing Software engineering Computer programming
737	PDF Document Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2003-09-10 18:13:26 Functors Natural transformation Functor Equivalence of categories Cartesian closed category Monoidal category Category Monad Isomorphism of categories Category theory Abstract algebra Adjoint functors
738	PDF Document Add to Reading List Source URL: www.kamvar.com Language: English - Date: 2011-08-21 15:24:02 Social information processing Human-based computation Distributed computing architecture MapReduce Crowdsourcing Programmer Algorithm Programming paradigm Monad Computing Software engineering Parallel computing
739	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English Type theory Data types Functional programming Monad Generic programming Type class Type inference Type system Polymorphism Software engineering Computing Computer programming
740	PDF Document Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-10-12 13:45:57 Functional languages Functional programming QuickCheck Literate programming Procedural programming languages Randomness Monad Test Data Generation ML Software engineering Computing Computer programming