<--- Back to Details
First PageDocument Content
Category theory / Recursion / Functional programming / Adjoint functors / Programming idioms / F-coalgebra / Anamorphism / Monad / Variety / Computer programming / Software engineering / Computing
Date: 2012-03-22 19:10:07
Category theory
Recursion
Functional programming
Adjoint functors
Programming idioms
F-coalgebra
Anamorphism
Monad
Variety
Computer programming
Software engineering
Computing

Add to Reading List

Source URL: calco2011.ecs.soton.ac.uk

Download Document from Source Website

File Size: 862,00 KB

Share Document on Facebook

Similar Documents

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effects

DocID: 1tDqD - View Document

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

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

DocID: 1rpNK - View Document

Computer programming / Software engineering / Computing / Theoretical computer science / Programming idioms / Algorithms / Computability theory / Mathematical logic / Recursion / Programming paradigm / Subroutine / Iteration

Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

DocID: 1rozw - View Document

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

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

DocID: 1rio2 - View Document

Software engineering / Computer programming / Computing / Recursion / Lambda calculus / Computability theory / Theoretical computer science / Programming idioms / Functional programming / Function / Subroutine / Fixed-point combinator

Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

DocID: 1qLWC - View Document