From functor to monad Adam Szlachta Introduction Functional programming

Source URL: 808fabrik.com

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

Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman

Source URL: www.cse.chalmers.se

BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Computing
• Logic in computer science
• Operational semantics
• Denotational semantics
• Semantics
• Programming language
• Expression
• Action semantics
• Monad
• Software engineering
• Theoretical computer science
• Programming language semantics

Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document.

Source URL: cheatsheet.codeslower.com

• Type theory
• Functional programming
• Data types
• Subroutines
• Algebraic data type
• Pattern matching
• Anonymous function
• Monad
• Main function
• Software engineering
• Computing
• Computer programming

Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan

Source URL: www.kurims.kyoto-u.ac.jp

• Category theory
• Adjoint functors
• Model theory
• Semigroup theory
• Algebraic structures
• Monoid
• Monad
• Symbol
• Parity of a permutation
• Mathematics
• Abstract algebra
• Algebra

Poster: Contract Verification for Mobile Security Hannah Gommerstadt Frank Pfenning Limin Jia

Source URL: www.ieee-security.org

• Application programming interfaces
• Communications protocol
• Data transmission
• Protocols
• Monad
• Distributed computing
• Operating system
• X Window System
• Transmission Control Protocol
• Computing
• Software
• Data

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

Language and Program Design for Functional Dependencies Mark P. Jones Iavor Diatchki Portland State University

Source URL: web.cecs.pdx.edu

• Data types
• Type theory
• Functional programming
• Data modeling
• Database constraints
• Type class
• Monad
• Type system
• Functional dependency
• Software engineering
• Computing
• Computer programming

MAKE YOUR OWN SUGAR ACTIVITIES! 1

Source URL: en.flossmanuals.net

• One Laptop per Child
• Scripting languages
• Live USB
• Sugar
• Python
• OLPC XO-1
• FLOSS Manuals
• JavaScript
• Monad
• Computing
• Software engineering
• Computer programming