TILC: The Interactive Lambda-Calculus Tracer

David Ruiz; Mateu Villaret

doi:10.1016/j.entcs.2009.07.067

TILC: The Interactive Lambda-Calculus Tracer

David Ruiz
, Mateu Villaret

Grup de Recerca en Lògica i Intel·ligència Artificial (LAI)

University of Girona

Producció científica: Contribució a revista › Article científic › Avaluat per experts

4 Cites (Scopus)

Resum

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/.

Idioma original	Anglès
Pàgines (de-a)	173-183
Nombre de pàgines	11
Revista	Electronic Notes in Theoretical Computer Science
Volum	248
DOIs	https://doi.org/10.1016/j.entcs.2009.07.067
Estat de la publicació	Data de publicació - 5 d’ag. 2009

Accés al document

10.1016/j.entcs.2009.07.067

Altres arxius i enllaços

Enllaç a la publicació de Scopus

Com citar-ho

@article{15f809bd64b443d2a2102e1275a5f7aa,

title = "TILC: The Interactive Lambda-Calculus Tracer",

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/\textasciitilde{}villaret/tilc/.",

keywords = "lambda-calculus, teaching/learning, tracing tool",

author = "David Ruiz and Mateu Villaret",

year = "2009",

month = aug,

day = "5",

doi = "10.1016/j.entcs.2009.07.067",

language = "English",

volume = "248",

pages = "173--183",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - TILC

T2 - The Interactive Lambda-Calculus Tracer

AU - Ruiz, David

AU - Villaret, Mateu

PY - 2009/8/5

Y1 - 2009/8/5

N2 - 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/.

AB - 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/.

KW - lambda-calculus

KW - teaching/learning

KW - tracing tool

UR - https://www.scopus.com/pages/publications/68049142263

U2 - 10.1016/j.entcs.2009.07.067

DO - 10.1016/j.entcs.2009.07.067

M3 - Scientific article

AN - SCOPUS:68049142263

SN - 1571-0661

VL - 248

SP - 173

EP - 183

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

TILC: The Interactive Lambda-Calculus Tracer

Resum

Accés al document

Altres arxius i enllaços

Fingerprint

Com citar-ho