Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
251	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
252	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
253	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus
254	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-03-26 05:31:12 Monad Computer programming Computing Lambda calculus Software engineering Normalisation by evaluation
255	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
256	IMPLICIT GUARD EXPRESSIONS IN FUNCTIONAL PROGRAMMING LANGUAGES Nils M Holm, 2014 When a match fails, the function returns ε instead: 1. Introduction Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-10-28 05:31:43 Monad Differential equation Representation theory of finite groups Spectral theory of ordinary differential equations Mathematics Function Euclidean algorithm
257	Async David House Mark Shinwell Jane Street Europe Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages OCaml Caml Computation E Monad Thread Computing Computer programming Software engineering
258	Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:56 Adjoint functors Functional programming Models of computation Functional languages Monad Kleisli category Denotational semantics List comprehension Strong monad Software engineering Computing Computer programming
259	Transforming Interpreters into Inverse Interpreters by Partial Evaluation Robert Gluck ¨ ∗ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language implementation Theoretical computer science Models of computation Evaluation strategy Partial evaluation Inverse function Programming language Compiler Monad Computing Software engineering Computer programming
260	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming

UPDATE