首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > tapl-haskell

tapl-haskell

资 源 简 介

Overview The goal of this project is to provide Haskell ports of all OCaml implementations for "Types and Programming Languages" (TAPL) by Benjamin C. Pierce. For each system found under "Implementation" at TAPL, there is a source directory of the same name. Code in the "generator" directory (described below) combines this code with common code in order to generate a corresponding subdirectory under the "gen" directory. The resulting code is completely self-contained, allowing the user to experiment with each of these implementations independently. Each Haskell implementation uses Parsec for parsing, and has an HUnit test suite.

文 件 列 表

tapl-haskell-0.1
fulluntyped
arith
rcdsubbot
simplebool
fullsub
bot
fullerror
fullsimple
untyped
fullref
tyarith
VIP VIP
0.179298s