Results 1 to 20 of 231
Sort by:
-
Featherweight Java
- Referenced in 91 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...
-
Transactors
- Referenced in 6 articles [sw20929]
- calculus, an extended lambda-calculus based on the actor model, and illustrate its usage through...
-
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...
-
PELCR
- Referenced in 4 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...
-
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...
-
Template-Coq
- Referenced in 3 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...
-
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...