Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
641	A Study of Categories of Algebras and Coalgebras Jesse Hughes May, 2001 Department of Philosophy Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Functional programming F-coalgebra Coalgebra Algebraic structures Initial algebra F-algebra Monad Variety Category theory Abstract algebra Algebra
642	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
643	A soft-typing system for Erlang Sven-Olof Nystrom ¨ Department of Information Technology, Uppsala University, Sweden Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-07-30 10:42:48 Functional languages Data types Subroutines Recursion Functional programming Erlang Type system Closure Monad Software engineering Computing Computer programming
644	Lightweight Monadic Programming in ML Nikhil Swamy Nataliya Guts Daan Leijen Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-05-16 12:51:55 Mathematical logic Mathematics Type theory Monad Type class Valuation Admissible rule Natural deduction Adjoint functors Functional programming Software engineering
645	Algebraic Reconstruction of Types and Eects Pierre Jouvelot1 2 David K. Giord2 ; Ecole des Mines de Paris1 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Data types Functional programming Computing Program analysis Type system Vehicle Identification Number Monad Type inference Type theory Software engineering Programming language theory
646	Earth, a heap of stone wandering in the drift of the universe, which with a little moisture and sunlight has invented life. And a sketch of God. Add to Reading List Source URL: www.fotopoesia.it Language: English - Date: 2009-11-27 15:49:13 Functional programming Monad Computing
647	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
648	Static Dependent Costs for Estimating Execution Time Brian Reistad David K. Giord Laboratory for Computer Science, Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Estimation theory Procedural programming languages M-estimator Robust regression Monad ALGOL 68 Scope Parallel computing Type system Software engineering Statistics Computing
649	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
650	Probabilistic Relational Verification for Cryptographic Implementations Gilles Barthe C´edric Fournet Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-09-13 09:26:28 Adjoint functors Mathematical logic Relational model Μ operator Function Dirac delta function Monad Homomorphism Interpretation Mathematics Mathematical analysis Model theory

UPDATE