-
LISP
- Referenced in 127 articles
[sw07201]
- notation of Alonzo Church’s lambda calculus. It quickly became the favored programming language...
-
Featherweight Java
- Referenced in 93 articles
[sw16204]
- even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs ... similar relation to Java as the lambda-calculus does to languages such...
-
Church
- Referenced in 55 articles
[sw08946]
- based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic...
-
HOPLA
- Referenced in 14 articles
[sw02330]
- viewed as an extension of the lambda calculus with a “prefixed sum”, in which types...
-
PLAN
- Referenced in 13 articles
[sw22065]
- based on the simply typed lambda calculus and provides a restricted set of primitives...
-
PELCR
- Referenced in 5 articles
[sw20841]
- PELCR, parallel environment for optimal lambda-calculus reduction. In this article we present the implementation ... Lévy’s optimal reduction for the λ-calculus on parallel (or distributed) computing systems ... PELCR (parallel environment for optimal lambda-calculus reduction), relies on a strategy for directed virtual...
-
Transactors
- Referenced in 6 articles
[sw20929]
- calculus, an extended lambda-calculus based on the actor model, and illustrate its usage through...
-
MixML
- Referenced in 6 articles
[sw22612]
- language called LTG – namely, a polymorphic lambda calculus with single-assignment references and recursive type...
-
SUBSEXPL
- Referenced in 3 articles
[sw00923]
- manipulation of expressions of the $\lambda$-calculus and of three different styles of explicit substitutions ... visualization of the contractions of the $\lambda$-calculus in de Bruijn notation, and of guided ... conditionals and repetitions in the $\lambda$-calculus are available.\parThe system can be executed over ... teaching basic properties of the $\lambda$-calculus such as: computational adequacy, the usefulness...
-
TILC
- Referenced in 2 articles
[sw17746]
- TILC: The Interactive Lambda-Calculus Tracer. This paper introduces TILC: the interactive lambda-calculus tracer ... main basic concepts of pure untyped lambda-calculus. This is achieved by allowing users ... sort of parse-tree of the lambda-terms and automatically reproducing these interactions ... operational semantics of lambda-calculus. TILC has been built using HASKELL, and the tools wxHaskell...
-
CRSX
- Referenced in 4 articles
[sw23630]
- Rule and term syntax based on lambda-calculus and term rewriting conventions including Unicode support...
-
Template-Coq
- Referenced in 4 articles
[sw27569]
- extract Coq terms to a CBV $lambda$-calculus [13]. However, the syntax lacked semantics...
-
MicroRogue
- Referenced in 2 articles
[sw13590]
- system combining the central ideas of $lambda$-calculus and term rewriting. The rewriting is explicit...
-
Hazelnut
- Referenced in 2 articles
[sw22659]
- Hazelnut: a bidirectionally typed structure editor calculus. Structure editors allow programmers to edit the tree ... based on a small bidirectionally typed lambda calculus extended with holes and a cursor. Hazelnut...
-
Knuth Bendix Orders
- Referenced in 3 articles
[sw28584]
- Bendix orders for higher-order terms without lambda-abstraction and proves many useful properties about ... basis of a higher-order superposition calculus...
-
Anagopos
- Referenced in 1 article
[sw17745]
- graph visualizer for term rewriting and lambda calculus. We present Anagopos, an open source tool ... visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step...
-
lambda
- Referenced in 1 article
[sw05521]
- Lambda is an interactive Lambda calculus interpreter. It reduces lambda expressions and converts them into...
-
foetus
- Referenced in 1 article
[sw22668]
- introduce a simple functional language foetus (lambda calculus with tuples, constructors and pattern matching) supplied...
-
Jove
- Referenced in 1 article
[sw40708]
- Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt...
-
X-Fun
- Referenced in 1 article
[sw14200]
- based on a typed lambda calculus that enables its in-memory implementation...