Delegate: Showcase 2/3 years old F# Codebase @ ProsaF#unctional Copenhageners Meetup Group (MF#K)

Source URL: files.meetup.com

• Computer programming
• Software engineering
• Declarative programming
• Functional programming
• Monad
• F Sharp
• Function

Org-Mode Reference Cardfor version 7.6) Getting Started To read the on-line documentation try

Source URL: www.damtp.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Control characters
• Whitespace
• Source code
• Tab key
• Rope
• Monad
• B-tree
• Newline
• Comment

The Monad.Reader Issue 6 by Bernie Pope and Dan Piponi and Russell O’Connor Wouter Swierstra, editor.

Source URL: wiki.haskell.org

BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science

Source URL: brics.dk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Subroutines
• Recursion
• Procedural programming languages
• Standard ML
• Tail call
• ML
• Monad

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

Source URL: www2.tcs.ifi.lmu.de

408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Type theory
• Algorithms
• Programming paradigms
• Finite-state machine
• Algorithm
• Declarative programming
• HindleyMilner type system
• RANSAC
• Monad

LNCSQuotienting the Delay Monad by Weak Bisimilarity

Source URL: cs.ioc.ee

The Monad.Reader Issue 15 by Heinrich Apfelmus and Andrew Coppin and Gergely Patai and Edward Z. Yang 25 January, 2010

Source URL: themonadreader.files.wordpress.com

Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a

Source URL: extract.cs.odu.edu

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Procedural programming languages
• ML
• XS
• Monad
• Haskell features
• Standard ML

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes