TILC

TILC: The Interactive Lambda-Calculus Tracer. This paper introduces TILC: the interactive lambda-calculus tracer. TILC aims to be a friendly user graphical application that helps teaching/studying the main basic concepts of pure untyped lambda-calculus. This is achieved by allowing users to graphically interact with a sort of parse-tree of the lambda-terms and automatically reproducing these interactions in the lambda-term. This graphical interaction encourages students to practice with lambda-terms easing the learning of the syntax and of the operational semantics of lambda-calculus. TILC has been built using HASKELL, and the tools wxHaskell and Happy. It can be freely downloaded from http://ima.udg.edu/ villaret/tilc/.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue: Anagopos: a reduction graph visualizer for term rewriting and lambda calculus (2011)
  2. Ruiz, David; Villaret, Mateu: TILC: the interactive lambda-calculus tracer (2009) ioport