Monad transformer - PDFSEARCH.IO - Document Search Engine

Monad transformer
Results: 7

#	Item
1	Monad Transformers for Backtracking Search Jules Hedges Queen Mary University of London This paper extends Escard´o and Oliva’s selection monad to the selection monad transformer, a general monadic Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:04
2	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
3	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
4	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>= Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Science Program logic Computer law Copyleft Monad Isabelle Formal verification Predicate transformer semantics Creative Commons Theoretical computer science Formal methods Applied mathematics
5	数理解析研究所講究録 1235 巻 2001 年 [removed] 多重線形 Littlewood-Paley 作用素と多重線形 Fourier Multiplier 関西学院大学理学部 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2007-03-24 11:00:00 Monad transformer LSZ reduction formula Quantum field theory Matrices Functional programming
6	Extensible Effects An Alternative to Monad Transformers Oleg Kiselyov Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 04:02:02 Adjoint functors Computing Monad transformer Monad Continuation ALGOL 68 Software engineering Functional programming Computer programming
7	PDF Document Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:03 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics

UPDATE