Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
71	Free Theorems Involving Type Constructor Classes Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional programming Programming idioms Monad Adjoint functors Haskell Type class
72	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:53:25 Functional programming Monad Subroutines Arrow List Closure Parsing
73	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:59:12 Functional programming Data types Control flow Eval Interpreter Syntax Abstract syntax Const Higher-order function Monad Programming language
74	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
75	Understanding Idiomatic Traversals Backwards and Forwards Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtl¨ander July 3rd, 2013 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming language comparisons Functional programming Programming idioms Recursion Monad Tree traversal Map Foreach loop Depth-first search
76	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
77	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Data types Type theory Type system Subtyping Union type Tagged union Pattern matching Monad ML Product type Type conversion Record
78	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
79	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
80	Modular Rollback through Control Logging† Twin pearls in continuation, and a monadic third Olin Shivers () and Aaron Turon () Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-08-21 02:05:20 Compiler construction Procedural programming languages Control characters Functional programming Parsing Delete character Recursive descent parser Forth Monad Lisp Scheme MAD