Find link

language:

jump to random article

view article
Find link is a tool written by Edward Betts.

searching for Higher-Order and Symbolic Computation 24 found (41 total)

alternate case: higher-Order and Symbolic Computation

Continuation (3,043 words) [view diff] no match in snippet view article find links to article

Systems Programming Research. August 1965. Reprinted in Higher Order and Symbolic Computation, 11(2):125-143, 1998, with a foreword by Hayo Thielecke
Krivine machine (1,911 words) [view diff] exact match in snippet view article find links to article
Higher-Order and Symbolic Computation 20(3): 257-270 (2007) archive. Olivier Danvy (Ed.): Editorial of special issue of Higher-Order and Symbolic Computation
Carl Hewitt (1,588 words) [view diff] exact match in snippet view article find links to article
Steele (1998). "The First Report on Scheme Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 399–404. doi:10.1023/A:1010079421970. S2CID 7704398
First-class citizen (999 words) [view diff] exact match in snippet view article find links to article
"Christopher Strachey—Understanding Programming Languages", Higher-Order and Symbolic Computation 13:52 (2000) Harold Abelson and Gerald Jay Sussman, Structure
History of the Scheme programming language (2,022 words) [view diff] exact match in snippet view article find links to article
(December 1998). "The First Report on Scheme Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 399–404. doi:10.1023/A:1010079421970. ISSN 1388-3690
Meta-circular evaluator (1,945 words) [view diff] exact match in snippet view article find links to article
C. (1998). "Definitional Interpreters Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 355–361. doi:10.1023/A:1010075320153. S2CID 34126862
William Clinger (computer scientist) (362 words) [view diff] exact match in snippet view article
(December 1998). "The First Report on Scheme Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 399–404. doi:10.1023/A:1010079421970. S2CID 7704398
Stack overflow (961 words) [view diff] exact match in snippet view article find links to article
"Revised5 Report on the Algorithmic Language Scheme". Higher-Order and Symbolic Computation. 11 (1): 7–105. doi:10.1023/A:1010051815785. S2CID 14069423
Partial evaluation (591 words) [view diff] exact match in snippet view article find links to article
Computation Process—An Approach to a Compiler-Compiler". Higher-Order and Symbolic Computation. 12 (4): 381–391. CiteSeerX 10.1.1.10.2747. doi:10.1023/A:1010095604496
Generalized algebraic data type (1,325 words) [view diff] exact match in snippet view article find links to article
for GADTs: system F with first-class equality proofs". Higher-Order and Symbolic Computation. Type reconstruction Peyton Jones, Simon; Washburn, Geoffrey;
Gauche (Scheme implementation) (423 words) [view diff] exact match in snippet view article
), Revised^5 Report on the Algorithmic Language Scheme, Higher-Order and Symbolic Computation, 11(1), September, 1998 and ACM SIGPLAN Notices, 33(9),
Referential transparency (1,502 words) [view diff] exact match in snippet view article find links to article
(2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13 (1–2): 11–49. doi:10.1023/A:1010000313106. S2CID 14124601
Syntactic sugar (1,956 words) [view diff] exact match in snippet view article find links to article
Labels". UNIVAC Systems Programming Research., reprinted in "Higher-Order and Symbolic Computation". 11. 1998: 125–143. CiteSeerX 10.1.1.85.2610. {{cite journal}}:
Currying (5,025 words) [view diff] exact match in snippet view article find links to article
1967.]. "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13: 11–49. CiteSeerX 10.1.1.332.3161. doi:10.1023/A:1010000313106
Parametric polymorphism (2,058 words) [view diff] exact match in snippet view article find links to article
2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13 (1): 11–49. doi:10.1023/A:1010000313106. ISSN 1573-0557
Mogensen–Scott encoding (1,781 words) [view diff] exact match in snippet view article find links to article
Stump, A. (2009). Directly reflective meta-programming. Higher-Order and Symbolic Computation, 22, 115-144. Mogensen, T.Æ. (1992). Efficient Self-Interpretations
Scheme (programming language) (8,206 words) [view diff] exact match in snippet view article
"Revised5 Report on the Algorithmic Language Scheme". Higher-Order and Symbolic Computation. 11 (1): 7–105. doi:10.1023/A:1010051815785. S2CID 14069423
Continuation-passing style (2,519 words) [view diff] exact match in snippet view article find links to article
A Interpreter for Extended Lambda Calculus" (reprint). Higher-Order and Symbolic Computation. 11 (4): 405–439. doi:10.1023/A:1010035624696. S2CID 18040106
Hygienic macro (2,417 words) [view diff] exact match in snippet view article find links to article
"Revised5 Report on the Algorithmic Language Scheme". Higher-Order and Symbolic Computation. 11 (1): 7–105. doi:10.1023/A:1010051815785. Feinberg, N
CEK Machine (1,845 words) [view diff] exact match in snippet view article find links to article
John C. (1998). "Definitional Interpreters Revisited". Higher-Order and Symbolic Computation. 11 (4): 355–361. doi:10.1023/A:1010075320153. S2CID 34126862
Exclamation mark (6,201 words) [view diff] exact match in snippet view article find links to article
"Revised5 Report on the Algorithmic Language Scheme". Higher-Order and Symbolic Computation. 11 (1): 7–105. doi:10.1023/A:1010051815785. S2CID 14069423
Tail call (4,248 words) [view diff] exact match in snippet view article find links to article
"Revised5 Report on the Algorithmic Language Scheme". Higher-Order and Symbolic Computation. 11 (1): 7–105. doi:10.1023/A:1010051815785. S2CID 14069423
Goto (5,886 words) [view diff] exact match in snippet view article find links to article
"Revised5 Report on the Algorithmic Language Scheme". Higher-Order and Symbolic Computation. 11 (1): 7–105. doi:10.1023/A:1010051815785. S2CID 14069423
Glossary of computer science (23,802 words) [view diff] exact match in snippet view article find links to article
A Interpreter for Extended Lambda Calculus" (reprint). Higher-Order and Symbolic Computation. 11 (4): 405–439. doi:10.1023/A:1010035624696. S2CID 18040106