In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007

Source URL: www.monad.me.uk

Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

Source URL: jeapostrophe.github.io

• Lambda calculus
• Combinatory logic
• Logic in computer science
• Computability theory
• Functions and mappings
• Formal methods
• Monad
• Derivative
• Trace

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Functional programming
• Monad
• Heap
• Clean

PDF Document

Source URL: fritzo.org

• Computer programming
• Adjoint functors
• Software engineering
• Mathematical analysis
• Markov processes
• Probability theory
• Monad
• Probability distribution
• Kleisli category
• Markov chain
• Probability
• Monoidal monad

PDF Document

Source URL: homes.soic.indiana.edu

• Type theory
• Functional languages
• Type systems
• Procedural programming languages
• Lambda calculus
• Type inference
• Monad
• ML
• HindleyMilner type system
• Functional programming
• Parallel computing
• Unification

PDF Document

Source URL: ect.bell-labs.com

• Theoretical computer science
• Mathematics
• Software engineering
• Logic in computer science
• Models of computation
• Programming language semantics
• Lambda calculus
• Operational semantics
• Substitution
• Expression
• Variable
• Monad

PDF Document

Source URL: www.monad.me.uk

DOC Document

Source URL: www.monad.me.uk