TaPL-implementation. Haskell implementation of the "Types and Programming Languages"

github.com/na2hiro/TaPL-implementation

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.