
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 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 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

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

Smalltalk
 Referenced in 190 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 29 articles
[sw03114]
 Synchronization abstraction in the BETA programming language. This...

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

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

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