
Featherweight Java
 Referenced in 84 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 1526 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

PERL
 Referenced in 244 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

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

Smalltalk
 Referenced in 162 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 732 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...