In Proceedings of the 14th Annual Conference of the Cognitive Science Society ( pIndiana University, Indiana: Cognitive Science Society, July/AugustThe (Non)Necessity of Recursion in Natural Language

Source URL: cnl.psych.cornell.edu

Synchronization Analyses for Multiple Recursion Parameters Wei-Ngan CHIN and Siau-Cheng KHOO Dept of Info. Systems & Computer Sc. National University of Singapore Singapore

Source URL: repository.readscheme.org

CHAPTER 5. RECURSION AND RECURRENCES

Source URL: math.dartmouth.edu

Learning Recursion: Multiple Nested and Crossed Dependencies

Source URL: cnl.psych.cornell.edu

• Linguistics
• Cognitive science
• Language
• Computational linguistics
• Grammar
• Language acquisition
• Speech recognition
• Dependency grammar
• Artificial grammar learning
• Implicit learning
• Pirah language
• Linguistic competence

Prajna: Cloud Service and Interactive Big Data Analytics (Distributed Platform Building Leverage Functional Programming) Jin Li, Sanjeev Mehrotra and Weirong Zhu Microsoft One Microsoft Way, Bld. 99, Redmond, WA, USA {ji

Source URL: msrccs.github.io

• Computing
• Software engineering
• Computer programming
• Higher-order functions
• Programming language comparisons
• Parallel computing
• Apache Software Foundation
• Fold
• Recursion
• Apache Spark
• MapReduce
• Map

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

CSE 181 Project guidelines

Source URL: www.cs.bilkent.edu.tr

• Computer programming
• Mathematics
• Applied mathematics
• Theoretical computer science
• Sorting algorithms
• Operations research
• Analysis of algorithms
• Merge sort
• Divide and conquer algorithms
• Algorithm
• Recursion
• Time complexity

Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Recursion
• Fold
• FO
• Haskell features
• Standard ML

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

Source URL: www.di.univaq.it

• Mathematical logic
• Software engineering
• Theoretical computer science
• Type theory
• Computability theory
• Logic in computer science
• Proof assistants
• Logic for Computable Functions
• HOL
• Lambda calculus
• Primitive recursive function
• Recursion

Designing a verifying compiler: Lessons learned from developing Whiley

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computer programming
• Computing
• Data types
• Functional languages
• Type theory
• Procedural programming languages
• Whiley
• C++
• Const
• Recursion
• Java bytecode