<--- Back to Details
First PageDocument Content
Functional languages / Subroutines / Cross-platform software / Procedural programming languages / Lisp programming language / Scheme / Lisp / Closure / Monad / Software engineering / Computing / Computer programming
Date: 2008-01-06 00:14:16
Functional languages
Subroutines
Cross-platform software
Procedural programming languages
Lisp programming language
Scheme
Lisp
Closure
Monad
Software engineering
Computing
Computer programming

Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER

Add to Reading List

Source URL: www.r6rs.org

Download Document from Source Website

File Size: 838,69 KB

Share Document on Facebook

Similar Documents

Pebble / Smartwatches / Mathematical logic / Mathematics / Differential topology / Lie algebras / Moschovakis coding lemma

Closure Under Reversal of Languages over Infinite Alphabets

DocID: 1xW1C - View Document

Mathematics / Algebra / Theoretical computer science / Modular arithmetic / Logic in computer science / Congruence relation / Equivalence / Closure / Rewriting / Congruence lattice problem / Congruence subgroup

Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

DocID: 1xVT4 - View Document

-2476531115Case Closure/ Transfer (Out) 00Case Closure/ Transfer (Out20

DocID: 1vq8T - View Document

Algebra 2. Teorema di Lindemann-Weierstrass. Roma, version 2017 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem [1]. Let Q denote the algebraic closure of Q inside C.

DocID: 1vhl6 - View Document

Evaluation of the 1.25" ALPHA CONTINUOUS THREAD CLOSURE ON A ONE GALLON METAL CAN

DocID: 1vhed - View Document