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

Source URL: personal.cis.strath.ac.uk

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

Source URL: www.cse.iitk.ac.in

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

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

Source URL: www.openu.ac.il

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

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

Source URL: www.idt.mdh.se

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

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

Source URL: www.idt.mdh.se

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

Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June.

Source URL: www.olejohandahl.info

• Software engineering
• Computer programming
• Subroutines
• Data types
• Recursion
• Type theory
• Programming idioms
• Fold
• ALGOL 68
• Subtyping
• Record
• Generator

In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Software development
• Programming idioms
• Computability theory
• Functional programming
• Theoretical computer science
• Logic programming
• Unfolding
• Recursion
• Free variables and bound variables
• Symbolic computation

Sequencing in F# Sequencing, and IO We said functional programming is about calculating expressions Björn Lisper School of Innovation, Design, and Engineering

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Computing
• Programming idioms
• C standard library
• Subroutines
• Functional programming
• Functional languages
• Printf format string
• Monad
• Eval
• Lisp

Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

Source URL: folk.uio.no

• Computer programming
• Software engineering
• Mathematics
• Recursion
• Programming idioms
• Computability theory
• Functions and mappings
• Subroutines
• Monad
• Primitive recursive function
• Function
• Subtyping

Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA)

Source URL: www.klomp.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Programming idioms
• Computability theory
• Alma-0
• Backtracking
• Logic programming
• Recursion
• Prolog
• Imperative programming