DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Mutual recursion
Mutual recursion
Unfold/Fold Transformations and Loop Optimization of Logic Programs
A Right-To-Left Type System for Value Recursion
Functional Programming (ML)
Abstract Recursion and Intrinsic Complexity
Generating Mutually Recursive Definitions
Inductively Defined Functions in Functional Programming Languages
Using Prolog for Transforming XML Documents
Recursion: Memoization Introduction to Object Oriented Programming Instructors: Daniel Deutch , Amiram Yehudai Teaching Assistants: Michal Kleinbort, Amir Rubinstein
Strong Functional Pearl: Harper's Regular-Expression Matcher In
A Survey on Teaching and Learning Recursive Programming
One with RECURSIVE Is Worth Many Gotos
Recursive Function Definitions for Isabelle/HOL
Compiling PL/SQL Away
University of California Santa Cruz Automated Termination Analysis For
Introduction to Functional Programming
Validating and Animating Higher-Order Recursive Functions in B
CS 251: Programming Languages Fall 2015 ML Summary, Part 4
Algorithmic Resource Verification
Top View
Chapter 3 Recursion in the Pointfree Style
Defining (Co)Datatypes and Primitively (Co)Recursive Functions in Isabelle
Some History of Functional Programming Languages
Introduction and Scheme
Recursion for the Masses
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
Squibs and Discussions: Memoization in Top-Down Parsing
The Decorator Pattern in Haskell
The ZARF Architecture for Recursive Functions
Recursive Structures for Standard ML
Programming in Standard ML
Inlining: a Tool for Eliminating Mutual Recursion
Limited Second-Order Functionality in a First-Order Setting
Faster Coroutine Pipelines: a Reconstruction
Mutual Coinduction
A Brief Introduction to SML
Mechanizing Coinduction and Corecursion in Higher-Order Logic
Unifying Functional Programming and Logical Reasoning in a Language Based on Mendler-Style Recursion Schemes and Term-Indexed Types
Generating Mutually Recursive Definitions
Functional Programming Languages (SML)
Small-Step and Big-Step Semantics for Call-By-Need