<--- Back to Details
First PageDocument Content
Lambda calculus / Subroutines / Recursion / Theoretical computer science / Computability theory / Lambda lifting / Fold / Closure / Scheme / Software engineering / Computing / Computer programming
Date: 1999-09-23 18:42:18
Lambda calculus
Subroutines
Recursion
Theoretical computer science
Computability theory
Lambda lifting
Fold
Closure
Scheme
Software engineering
Computing
Computer programming

BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Download Document from Source Website

File Size: 356,63 KB

Share Document on Facebook

Similar Documents

Systems Architecture The Stack and Subroutines The Stack – p. 1/9

DocID: 1utuR - View Document

Software engineering / Computing / Computer programming / Subroutines / Data types / Anonymous function / Functional programming / Lambda calculus / Exponentiation / ATS / Array data type / Parameter

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Professional wrestling / Computer programming / Event / Subroutines

NSS Chapter Activities Report for Chapter Activities/Events ReportFor each event, report the speaker or chapter participant name & their title), the event title and type (lecture, meeting, school visit, display,

DocID: 1rq5b - View Document

Software engineering / Computer programming / Computing / Type theory / Data types / Functional programming / Subroutines / Lambda calculus / Subtyping / Const / Unification / Type system

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

DocID: 1rpwd - View Document

Mathematics / Arithmetic / Computer arithmetic / Mathematical analysis / Subroutines / Theoretical computer science / Data types / Numerical analysis / Rounding / Parameter / Derivative / Interval arithmetic

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

DocID: 1rosb - View Document