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

gfun
 Referenced in 127 articles
[sw00344]
 The gfun package provides tools for determining and...

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

ML
 Referenced in 502 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 256 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

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

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

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

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

Haskell
 Referenced in 832 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 138 articles
[sw04599]
 Theorem proving system supporting both interactive proof development...