首页| 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
  • 11 2小时前 成为了本站会员

  • 开心快活人 5小时前 成为了本站会员

  • 晋财 6小时前 成为了本站会员

  • WYG 1天前 成为了本站会员

  • Shine 1天前 成为了本站会员

  • 柳贻 1天前 成为了本站会员

  • hallelujah_HL 1天前 成为了本站会员

  • 焦昱贺 1天前 成为了本站会员

  • Rubin 1天前 成为了本站会员

  • Li 2天前 成为了本站会员

0.292227s