Skip to content
/ bidi Public

bidirectional type checking algorithms for higher-ranked polymorphism

License

Notifications You must be signed in to change notification settings

kwanghoon/bidi

Repository files navigation

The bidirectional type checking algorithms for higher-ranked polymorphism

How to build and run

$ git clone https://github.com/kwanghoon/bidi
$ cd bidi
$ stack build

  • To run the original DK's algorithm,
$ stack exec -- bidi-exe
  • To run the new Zhao et al's algorithm,
$ stack exec -- bidi-exe worklist

A polymorphic location inference algorithm for higher-ranked polymorphism

  • In PolyRPC, I have implemented a location inference algorithm for the predicative System F with locations. The algorithms is closely related with the two algorithms.

Releases

No releases published

Packages

No packages published