TILC swMATH ID: 17746 Software Authors: D. Ruiz, M. Villaret Description: 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/. Homepage: http://ima.udg.edu/~villaret/tilc/ Related Software: Anagopos; Tulip; Graphviz Cited in: 1 Publication Cited by 4 Authors 1 Bugge Grathwohl, Niels Bjørn 1 Ketema, Jeroen 1 Pallesen, Jens Duelund 1 Simonsen, Jakob Grue Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year