
Featherweight Java
 Referenced in 79 articles
[sw16204]
 even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs ... similar relation to Java as the lambdacalculus does to languages such...

Transactors
 Referenced in 6 articles
[sw20929]
 calculus, an extended lambdacalculus based on the actor model, and illustrate its usage through...

PELCR
 Referenced in 3 articles
[sw20841]
 PELCR, parallel environment for optimal lambdacalculus 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 lambdacalculus reduction), relies on a strategy for directed virtual...

TILC
 Referenced in 2 articles
[sw17746]
 TILC: The Interactive LambdaCalculus Tracer. This paper introduces TILC: the interactive lambdacalculus tracer ... main basic concepts of pure untyped lambdacalculus. This is achieved by allowing users ... lambdaterms and automatically reproducing these interactions in the lambdaterm. This graphical interaction encourages ... operational semantics of lambdacalculus. TILC has been built using HASKELL, and the tools wxHaskell...

CRSX
 Referenced in 4 articles
[sw23630]
 Rule and term syntax based on lambdacalculus and term rewriting conventions including Unicode support...

VMlambda
 Referenced in 1 article
[sw17460]
 standard simply typed callbyvalue lambdacalculus. Although this extension, VMlambda, is simple...

Coq
 Referenced in 1483 articles
[sw00161]
 Coq is a formal proof management system. It...

Isabelle
 Referenced in 518 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ML
 Referenced in 476 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Modula
 Referenced in 45 articles
[sw01224]
 The Modula programming language is a descendant of...

ALGOL 68
 Referenced in 259 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

Smalltalk
 Referenced in 160 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

ELAN
 Referenced in 100 articles
[sw02179]
 The ELAN system provides an environment for specifying...

BETA
 Referenced in 27 articles
[sw03114]
 Synchronization abstraction in the BETA programming language. This...

Haskell
 Referenced in 722 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

MWB
 Referenced in 33 articles
[sw04395]
 The mobility workbench — A tool for the π...

Isar
 Referenced in 125 articles
[sw04599]
 Theorem proving system supporting both interactive proof development...

STRIP
 Referenced in 14 articles
[sw04650]
 STRIP: Structural sharing for efficient proofsearch. The...

Miranda
 Referenced in 144 articles
[sw04986]
 Miranda: A nonstrict functional language with polymorphic...