项目作者： Archimidis
项目描述 ：
Haskell implementation of languages found in "Types and Programming Languages" book
高级语言： Haskell
项目地址: git://github.com/Archimidis/TaPL.git
Types and Programming Languages
This repository holds haskell implementation of languages found in the Types and Programming Languages book.
Project Roadmap:
- Untyped Arithmetic Expressions (arith) (chapters 3, 4)
- Untyped Lambda-Calculus (untyped) (chapters 5 - 7)
- fulluntyped (chapters 5 - 7)
- tyarith (chapter 8)
- simplebool (chapter 10)
- fullsimple (chapter 9 and 11)
- fullref (chapter 13, 18)
- fullerror (chapter 14)
- rcdsubbot (chapter 15)
- fullsub (chapters 15 - 17)
- joinsub (chapter 16)
- bot (chapter 16)
- fullequirec (chapter 20)
- fullisorec (chapter 20)
- equirec (chapter 21)
- recon (chapter 22)
- fullrecon (chapter 22)
- fullpoly (chapters 23 and 24)
- fullomega (chapters 23, 29 and 30)
- fullfsub (chapters 26, 28)
- fullfomsub (chapters 26, 31)
- fullfsubref (chapter 27)
- fullfomsubref (chapter 27)
- purefsub (chapter 28)
- fomsub (chapter 31)
- fullupdate (chapter 32)
- fomega
- letexercise
- joinexercise
