Software

Simulador de Cálculo Lambda

Este é um programa para auxiliar o ensino de Cálculo Lambda. É desenvolvido em Haskell, e há versões para Windows e Linux

screenshot

Download


Simulador para Linguagem Untyped L1

Esse é um programa para auxiliar o ensino de semântica formal. A linguagem Untyped L1 é uma variante sem sistema de tipos de PCF, isto é, uma linguagem funcional pura call-by-value . Untyped L1 utiliza inteiros como booleanos (tal como C) e possui uma sintaxe concreta baseada em ML. Abaixo você encontra um interpretador e uma documentação mínima. O interpretador é desenvolvido em Haskell, e possui versões pré-compiladas para Windows e Linux.

screenshot

Download