Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
81	Accepted at Haskell ’14 Effect Handlers in Scope Nicolas Wu Tom Schrijvers Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-10 11:26:04 Control flow Software design patterns Functional programming Monad Exception handling Syntax Functor Unix signal Scope IMP
82	Subject/Observer is Dual to Iterator (Erik “Head in the Box” Meijer, Microsoft Corporation, ) The concept of duality is a very powerful trick that provides “buy one, get one free” in mathemat Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2010-06-09 06:14:38 Software design patterns Abstract data types Concurrent programming languages Object Evaluation strategy Iterator Language Integrated Query Reactive programming Observer pattern Go Monad Filter
83	CSE341: Programming Languages Winter 2013 Unit 2 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-12 20:36:27 Data types Type theory Functional languages Functional programming Procedural programming languages C++ classes Recursive data type ML Parameter Type inference Monad Enumerated type
84	TABLE OF CONTENTS NEW AT EAGLECREST BOOKS Add to Reading List Source URL: eaglecrestbooks.com Language: English - Date: 2016-02-06 15:54:25 Adjoint functors Cree language Monad Level
85	Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Control flow Functional languages Abstract data types Continuations Software design patterns OCaml Delimited continuation Concurrent computing Thread Monad Queue Monitor
86	Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming paradigms Functional programming Programming language theory Literate programming Monad Declarative programming Haskell Side effect Echo Referential transparency Imperative programming Rc
87	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
88	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
89	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
90	Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-10-16 15:01:14 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Glasgow Haskell Compiler Type system Monad Haskell Principal type