Subroutines

Results: 1882



#Item
201Software engineering / Computing / Computer programming / Lambda calculus / Automated theorem proving / Logic programming / Subroutines / Logic in computer science / Substitution / Closure / Free variables and bound variables / Term

Scala for TAPL’ers Part 2 Ilya Sergey Substitutions vs Closures Parsing

Add to Reading List

Source URL: ilyasergey.net

Language: English - Date: 2016-03-01 06:31:32
202Software engineering / Computer programming / Computing / Functional programming / Object-oriented programming languages / Functional languages / Data types / Subroutines / Scala / Pattern matching / Algebraic data type / Factory

Patterns as Objects in Grace Michael Homer James Noble Kim B. Bruce

Add to Reading List

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

Language: English - Date: 2012-10-14 16:46:09
203Software engineering / Computer programming / Computing / Theoretical computer science / Parameter / Subroutines / Variable / Limit of a function / Algorithm / Dc / FOCAL-69 / PILOT

Programming Teclmiques S. L. Graham, R. L. Rivest Editors

Add to Reading List

Source URL: spinroot.com

Language: English - Date: 2014-05-18 15:58:52
204Software engineering / Computer programming / Computing / Subroutines / Lambda calculus / Functional programming / Data types / JavaScript / Eval / Anonymous function / Scope / Substitution

Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz

Add to Reading List

Source URL: ect.bell-labs.com

Language: English - Date: 2011-11-15 10:51:13
205Software engineering / Computing / Computer programming / Concurrent computing / Subroutines / Coroutine / Java platform / Control flow / Procedural programming languages / Yield / Generator / Return statement

¨ INFORMATIK INSTITUT FUR Programmiersprachen und Rechenkonzepte 27. Workshop der GI-Fachgruppe

Add to Reading List

Source URL: www-ps.informatik.uni-kiel.de

Language: English - Date: 2014-06-13 06:31:38
206Software engineering / Declarative programming / Lambda calculus / Computer programming / Functions and mappings / Subroutines / Functional programming / Charts / Graph of a function / Closure / Function / Lambda lifting

A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ

Add to Reading List

Source URL: ect.bell-labs.com

Language: English - Date: 2010-12-15 21:35:33
207Control flow / Subroutines / Computability theory / Theoretical computer science / Functional programming / Continuation-passing style / Lambda calculus / Continuation / Direct style / Eval / Stack / Static single assignment form

A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University

Add to Reading List

Source URL: jeapostrophe.github.io

Language: English - Date: 2016-02-18 16:47:50
208Software engineering / Computer programming / Declarative programming / Recursion / Theoretical computer science / Functional programming / Category theory / Subroutines / Corecursion / Fold / Coinduction / Tail call

PDF Document

Add to Reading List

Source URL: www.eis.mdx.ac.uk

Language: English - Date: 2015-05-01 12:22:36
209Software engineering / Type theory / Computer programming / Statistics / Subroutines / Quantitative marketing research / Statistical inference / Parameter / Variable / Type system / Application programming interface / Confidence interval

PDF Document

Add to Reading List

Source URL: mp.binaervarianz.de

Language: English - Date: 2012-05-31 05:21:23
210X86 architecture / X86 instructions / Subroutines / Recursion / Machine code / Low-level programming language / Assembly language / Decompiler / INT / Calling convention / NOP / X86-64

PDF Document

Add to Reading List

Source URL: jburket.com

Language: English - Date: 2015-04-08 00:04:54
UPDATE