Abstract
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/.
| Original language | English |
|---|---|
| Pages (from-to) | 173-183 |
| Number of pages | 11 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 248 |
| DOIs | |
| Publication status | Published - 5 Aug 2009 |
Keywords
- lambda-calculus
- teaching/learning
- tracing tool
Fingerprint
Dive into the research topics of 'TILC: The Interactive Lambda-Calculus Tracer'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver