Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
351	MAKE YOUR OWN SUGAR ACTIVITIES! 1 Add to Reading List Source URL: www.flossmanuals.net Language: English - Date: 2014-03-05 15:48:05 One Laptop per Child Scripting languages Live USB Sugar Python OLPC XO-1 FLOSS Manuals JavaScript Monad Computing Software engineering Computer programming
352	Eigenmath Manual George Weigt September 9, 2013 2 Add to Reading List Source URL: eigenmath.sourceforge.net Language: English - Date: 2014-12-07 12:48:04 Function Derivative Monad Integral Exponentiation Expected value Taylor series Undefined Anonymous function Mathematical analysis Mathematics Functions and mappings
353	An Introduction to Computing with Haskell Manuel M. T. Chakravarty Gabriele C. Keller Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2012-12-17 22:26:40 Functional languages Theoretical computer science Functional programming Data types Type theory Programming language Monad Pattern matching Haskell Software engineering Computing Computer programming
354	LibreS3: design, challenges, and steps toward reusable libraries Török Edwin e [removed] e Skylable L Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 23:52:34 Adjoint functors Functional programming Monad OCaml Declarative programming Software engineering Computer programming
355	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 20:18:53 Functional languages Functional programming OCaml Caml ML Monad Algebraic data type Xavier Leroy Exception handling Software engineering Computing Computer programming
356	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
357	LibreS3: design, challenges, and steps toward reusable libraries Edwin Török Skylable Ltd. [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 10:38:52 Functional programming Adjoint functors Functional languages Data types Monad OCaml Caml Ocsigen List Computing Software engineering Computer programming
358	LibreS3 Design, challenges and steps toward reusable libraries Edwin Török [removed] The OCaml Users and Developers Workshop, 2014 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 05:42:47 Adjoint functors OCaml Functional programming Monad Ocsigen Caml MLDonkey Török ML Software Computing Functional languages
359	Lightweight higher-kinded polymorphism (Extended version) Jeremy Yallop and Leo White University of Cambridge Abstract. Higher-kinded polymorphism —i.e. abstraction over type constructors— is an essential component Add to Reading List Source URL: www.lpw25.net Language: English - Date: 2015-02-22 16:28:22 Type theory Data types Functional programming Monad OCaml Type class Caml Type system Kind Software engineering Computing Computer programming
360	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Software engineering Lambda calculus Computing Applied mathematics Adjoint functors Functional programming Monad

UPDATE