The hybrid package

[Tags:bsd3, program]

We have made an implementation of the language Lambda-H, described in the paper Hybrid Type Checking by Cormac Flanagan, which uses a hybrid type checking system. We have tried to keep our implementation as close as possible to the language defined in Flanagan's paper. The result should be seen as a proof-of-concept, and an exercise in implementing a hybrid type checker for a language with advanced type specifications.

Properties

Versions 2.0
Dependencies base (>=3), containers, haskell98 (>=1.0), mtl (>=1.0), parsec [details]
License BSD3
Copyright (c) David Waern, Rickard Nilsson
Author David Waern, Rickard Nilsson
Maintainer David Waern <davve@dtek.chalmers.se>
Stability experimental
Category Compilers/Interpreters
Home page http://repos.mine.nu/davve/darcs/hybrid
Uploaded Tue Mar 4 19:01:45 UTC 2008 by GwernBranwen
Distributions NixOS:2.0
Downloads 339 total (4 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 6 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees