The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av.

Source URL: wslc.math.ist.utl.pt

• Mathematical logic
• Theory of computation
• Recursion
• Functions and mappings
• Programming idioms
• Primitive recursive function
• ELEMENTARY
• Computable function
• Function
• Theoretical computer science
• Mathematics
• Computability theory

The UU AG System Programming with Functions, Aspects, Attributes, and Catamorphisms Andres L¨ oh Institute of Information and Computing Science

Source URL: kosmikus.org

• Data types
• Formal languages
• Functional programming
• Recursion
• Parsing
• Attribute grammar
• Algebraic data type
• Cons
• ALGOL 68
• Software engineering
• Computer programming
• Computing

STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University

Source URL: mizar.org

• Higher-order functions
• Recursion
• Map
• Function
• First-order logic
• Functor
• Fold
• Mizar system
• Sheaf
• Software engineering
• Computing
• Declarative programming

Learning with a Limited Memory

Source URL: aaai.org

• Theoretical computer science
• Computer science
• Inductive inference
• Recursion
• Computable function
• Derivative
• Recursively enumerable set
• Big O notation
• Function
• Mathematics
• Theory of computation
• Computability theory

Microsoft Word - Heuristics Review.doc

Source URL: wiki.idux.com

• Infinite loop
• Recursion
• Error
• C
• Visitor pattern
• Computer programming
• Software engineering
• Computing

Recovering explicit recursion in Generic Haskell ¨ Andres Loh 16. Oktober 2002

Source URL: kosmikus.org

U NIVERSITY OF C AMBRIDGE C OMPUTER L ABORATORY First-Year Computer Science (Part IA) ML Exercise Sheets Here are the exercises for the ML Practical Classes. These classes complement the Foundations of Computer Science L

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

• Functional languages
• Subroutines
• Higher-order functions
• Recursion
• Procedural programming languages
• Anonymous function
• ML
• Function
• Fold
• Software engineering
• Computer programming
• Computing

Hindawi Publishing Corporation Advances in Mathematical Physics Volume 2013, Article ID[removed], 5 pages http://dx.doi.org[removed][removed]Research Article

Source URL: downloads.hindawi.com

• Mathematical analysis
• Korteweg–de Vries equation
• Exact solutions in general relativity
• Integrable system
• Soliton
• Cnoidal wave
• Recursion
• Hindawi Publishing Corporation
• Group
• Physics
• Theoretical physics
• Symmetry

[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh

Source URL: kosmikus.org

• Higher-order functions
• Functional programming
• Recursion
• Functional languages
• Generic programming
• Map
• Catamorphism
• Expr
• Haskell
• Software engineering
• Computing
• Declarative programming

Dependently Typed Grammars MPC 2010 Kasper Brink, Stefan Holdermans, Andres L¨oh June 22, 2010

Source URL: kosmikus.org

• Computer programming
• Left recursion
• Formal grammar
• Parser combinator
• Parsing
• Terminal and nonterminal symbols
• LL parser
• Parsing expression grammar
• Formal languages
• Software engineering
• Syntax