Supero: Making Haskell Faster

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Fold
• Recursion
• Haskell
• Tak
• Map
• Haskell features

Supero: Making Haskell Faster

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Functional languages
• Recursion
• Literate programming
• Fold
• Haskell
• Map
• XS

Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Primitive recursive function
• Primitive recursive arithmetic
• ELEMENTARY
• Reverse mathematics
• Pairing function
• Ackermann function
• Sequence
• Recursion

Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Computing
• Data types
• Functional languages
• Functional programming
• Recursion
• Sorting algorithms
• Merge sort
• Scala
• List
• Cons

. . Recursion Theoretic Methods in Descriptive Set Theory and Infinite Dimensional Topology

Source URL: logic.berkeley.edu.

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump

Source URL: www.kestrel.edu

Recursion and the Lexicon* Jan Koster University of Groningen 1. A critique of biolinguistics Current theorizing about the human language faculty, particularly about recursion, is

Source URL: www.let.rug.nl

Identification using Convexification and Recursion This Page will be Replaced before Printing 3

Source URL: user.it.uu.se

Recursion-free XPath 1.0 implementation Oleg Parashchenko olpa@ http://uucode.com/ Saint-Petersburg State University, Russia Extended abstract proposal for GTTSE’2007 June 3, 2007

Source URL: xmlhack.ru

Modernizing Plan-Composition Studies Kathi Fisler Shriram Krishnamurthi Janet Siegmund

Source URL: www.infosun.fim.uni-passau.de

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Recursion
• Theoretical computer science
• Computability theory
• Functional programming
• Tree traversal
• Go
• Problem solving
• Procedural programming