• 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 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...
  • PELCR

  • Referenced in 3 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 ... lambda-terms and automatically reproducing these interactions in the lambda-term. This graphical interaction encourages ... operational semantics of lambda-calculus. TILC has been built using HASKELL, and the tools wxHaskell...
  • CRSX

  • Referenced in 4 articles [sw23630]
  • Rule and term syntax based on lambda-calculus and term rewriting conventions including Unicode support...
  • VMlambda

  • Referenced in 1 article [sw17460]
  • standard simply typed call-by-value lambda-calculus. 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 general-purpose 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 object-oriented, 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, general-purpose 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 proof-search. The...
  • Miranda

  • Referenced in 144 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...