The hybrid package

[ Tags: bsd3, compilers-interpreters, program ] [ Propose Tags ]

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>
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
Executables hybrid
Downloads 422 total (12 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 8 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees