a Preprintreihe SFB 478 – Geometrische Strukturen in der Mathematik A∞ -monads and completion

Source URL: wwwmath.uni-muenster.de

• Mathematics
• Representable functor
• Adjoint functors
• Monad
• Operad theory
• Functor
• Nerve
• Model category
• Natural transformation
• Category theory
• Abstract algebra
• Algebra

Linear-time algorithms for Monadic Logic Steven Lindell Haverford College, Department of Computer Science

Source URL: www.haverford.edu

• Logic
• Mathematical structures
• Graph theory
• First-order logic
• Predicate logic
• Monad
• Structure
• Graph
• Robertson–Seymour theorem
• Mathematics
• Mathematical logic
• Model theory

The First Monad Tutorial Philip Wadler University of Edinburgh

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

Secure Compilation of a Multi-Tier Web Language Ioannis G. Baltopoulos

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

• Models of computation
• Symbol
• Lambda calculus
• Monad
• Fold
• Valuation
• Software engineering
• Computing
• Declarative programming

Microsoft Word - LCC '05.doc

Source URL: www.haverford.edu

• Computer science
• Automata theory
• Computability theory
• Formal methods
• Turing machine
• Pointer machine
• Finite-state machine
• Monad
• Computability
• Theory of computation
• Models of computation
• Theoretical computer science

For optimal handling please save the PDF on your local computer

Source URL: www.fair-business.de

• Fax
• Computing
• Technology
• Functional programming
• Monad

For optimal handling please save the PDF on your local computer

Source URL: www.fair-business.de

• Stuttgart Trade Fair
• Fax
• Presentation of a group
• Monad
• Email
• Mathematics
• Technology
• Computing
• Stuttgart

For optimal handling please save the PDF on your local computer !

Source URL: www.fair-business.de

• Mathematics
• Computing
• Functional programming
• Monad
• Presentation of a group

Type Soundness and Race Freedom for Mezzo Thibaut Balabonski, François Pottier, and Jonathan Protzenko INRIA

Source URL: gallium.inria.fr

• Type theory
• Procedural programming languages
• Models of computation
• Functional programming
• Monad
• Type safety
• Lambda calculus
• Filesystem permissions
• Type system
• Software engineering
• Computing
• Programming language theory

GPMI State Membership Meeting * March 28-29, 2009 * Upland Hills Ecological Awareness Center / Oxford (Oakland County) “Raw Minutes” (Outline from Proposed Agenda) Saturday, March 28 – Morning Session

Source URL: detagreens.tripod.com

• Monad
• Fred Figglehorn
• Computer programming
• Computing
• Films
• Star Trek: Phase II
• Star Trek: The Motion Picture