<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Recursion / Tail call / Subroutine / Stack / Infinite loop / This / Mutual recursion / Corecursion
Date: 2014-09-23 08:12:56
Software engineering
Computer programming
Recursion
Tail call
Subroutine
Stack
Infinite loop
This
Mutual recursion
Corecursion

Computing Fundamentals Salvatore Filippone 2012–2013

Add to Reading List

Source URL: people.uniroma2.it

Download Document from Source Website

File Size: 114,12 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / Subroutines / Type theory / Lambda calculus / Theoretical computer science / Data types / Inline expansion / Mutual recursion / Recursion / Standard ML

Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow

DocID: 1qxEI - View Document

Software engineering / Computer programming / Recursion / Computability theory / Theory of computation / Subroutines / Theoretical computer science / Infinite loop / This / Anonymous function / Stack / Mutual recursion

Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015

DocID: 1q5l7 - View Document

Software engineering / Computer programming / Recursion / Tail call / Subroutine / Stack / Infinite loop / This / Mutual recursion / Corecursion

Computing Fundamentals Salvatore Filippone 2012–2013

DocID: 1q0RA - View Document

Computability theory / Mathematics / Mathematical logic / Theoretical computer science / Recursion / Theory of computation / Primitive recursive function / Recursive data type / Mutual recursion / Automated theorem proving / Theorem / Presentation of a group

The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon

DocID: 1pWca - View Document

Recursion / Subroutines / Method / Object-oriented programming / Theoretical computer science / Tree traversal / Mutual recursion / Inline expansion / Visitor pattern / Multiple dispatch / Generic function / Generic programming

Functional Adaptive Programming A dissertation presented by Bryan Chadwick

DocID: 1p0YW - View Document