Higher-Order and Symbolic Computation
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus
Higher-Order and Symbolic Computation - - 1999
This brief historical note describes research done in the period 1970-1973, and where continuations were introduced in a fairly pragmatic way together with partial evaluation in order to compile “rules” expressed as statements in first-order predicate calculus. Although the methods used at that time were quite straightforward, this work may shed some light on the early history of the concept of co...... hiện toàn bộ
Linearity and iterator types for Gödel’s System
Higher-Order and Symbolic Computation - Tập 23 - Trang 1-27 - 2010
System
is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of Gödel’s System
. System
...... hiện toàn bộ
A tractable Scheme implementation
Higher-Order and Symbolic Computation - Tập 7 - Trang 315-335 - 1994
Scheme 48 is an implementation of the Scheme programming language constructed with tractability and reliability as its primary design goals. It has the structural properties of large, compiler-based Lisp implementations: it is written entirely in Scheme, is bootstrapped via its compiler, and provides numerous language extensions. It controls the complexity that ordinarily attends such large Lisp i...... hiện toàn bộ
A functional approach to generic programming using adaptive traversals
Higher-Order and Symbolic Computation - Tập 23 - Trang 433-463 - 2011
Writing functions over complex user-defined datatypes can be tedious and error prone. Generic (or polytypic) programming and higher order functions like foldr have resolved some of these issues, but can be too general to be practically useful for larger collections of data types. In this paper we present a traversal-based approach to generic programming using function sets. Our traversal is an ada...... hiện toàn bộ
An Introduction to Landin's “A Generalization of Jumps and Labels”
Higher-Order and Symbolic Computation - Tập 11 - Trang 117-123 - 1998
This note introduces Peter Landin's 1965 technical report “A Generalization of Jumps and Labels”, which is reprinted in this volume. Its aim is to make that historic paper more accessible to the reader and to help reading it in context. To this end, we explain Landin's control operator J in more contemporary terms, and we recall Burge's solution to a technical problem in Landin's original account.
Scala-Virtualized: linguistic reuse for deep embeddings
Higher-Order and Symbolic Computation - Tập 25 - Trang 165-207 - 2013
Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of embedded DSLs. However, many of these features work well only for shallow embeddings, i.e. DSLs which are implemented as plain libraries. Shallow embedding...... hiện toàn bộ
Nesting forward-mode AD in a functional framework
Higher-Order and Symbolic Computation - Tập 21 - Trang 361-376 - 2008
We discuss the augmentation of a functional-programming language with a derivative-taking operator implemented with forward-mode automatic differentiation (AD). The primary technical difficulty in doing so lies in ensuring correctness in the face of nested invocation of that operator, due to the need to distinguish perturbations introduced by distinct invocations. We exhibit a series of implementa...... hiện toàn bộ
On the correctness of the Krivine machine
Higher-Order and Symbolic Computation - Tập 20 - Trang 231-235 - 2007
We provide a short proof of the correctness of the Krivine machine by showing how it simulates weak head reduction.
Glossary for Partial Evaluation and Related Topics
Higher-Order and Symbolic Computation - Tập 13 - Trang 355-368 - 2000
Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or something else entirely. The area of partial evaluation and program transformation is no different, which may make it hard for the uninitiated to grasp some parts of technical papers or discussions. This list of words and te...... hiện toàn bộ
Tổng số: 267
- 1
- 2
- 3
- 4
- 5
- 6
- 10