Monad-based logics for computational effects Till Mossakowski, DFKI Lab Bremen, Germany joint work with Lutz Schr¨ oder, Sergey Goncharov, Denis Walter

Source URL: www.informatik.uni-bremen.de

The double power monad is the composite power monad Isar Stubbe September 20, 2013 Abstract We give a somewhat more conceptual proof of a theorem due to U. H¨ohle [2013]: the

Source URL: www-lmpa.univ-littoral.fr

A Meta-Scheduler for the Par-Monad Composable Scheduling for the Heterogeneous Cloud Adam Foltzer Abhishek Kulkarni Rebecca Swords Sajith Sasidharan

Source URL: www.cs.indiana.edu

2012 StatePrinting Logo (Horizontal)

Source URL: www.generalservices.state.nm.us

• Computer programming
• Software engineering
• Computing
• Functional programming
• Monad
• Cal
• Monotype typefaces

Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley

Source URL: kcsrk.info

• Software engineering
• Computer programming
• Computing
• Functional languages
• Control flow
• Software design patterns
• OCaml
• Monad
• Exception handling
• Type system
• Caml
• ML

Declarative, Sliding Window Aggregations for Computations at the Edge Christopher Meiklejohn Seyed H. Haeri (Hossein), Peter Van Roy

Source URL: christophermeiklejohn.com

• Computer programming
• Software engineering
• Computing
• Conflict-free replicated data type
• Data types
• Functional programming
• Laboratory for Atmospheric and Space Physics
• Tree
• Toi
• Monad

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Software engineering
• Programming language theory
• Computer programming
• Type theory
• Procedural programming languages
• Functional languages
• Logic in computer science
• Programming language semantics
• Standard ML
• Denotational semantics
• Monad
• Type system

How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. Yorgey

Source URL: www.cse.iitk.ac.in

• Algebra
• Mathematics
• Abstract algebra
• Semigroup theory
• Monoidal categories
• Functional programming
• Programming idioms
• Algebraic structures
• Monoid
• Monad
• Functor
• Semigroup action

Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Functional languages
• Programming idioms
• Recursion
• Theoretical computer science
• Functional programming
• Monad
• Lisp
• F Sharp
• Equation solving
• Exponentiation

Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

Source URL: www.inf.ed.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Monad
• Data types
• Type class
• Haskell
• Entry point
• Computation
• Ur