Providence Salumu lhc/papers/typechecking at master · Lemmih/lhc · GitHub
Skip to content
Personal Open source Business Explore
Sign up Sign in
Pricing Blog Support Search GitHub
  • Watch 11
  • Star 47
  • Fork 6

Lemmih/lhc

Code Issues 1 Pull requests 0 Projects 0 Wiki Pulse Graphs
Switch branches/tags
  • Branches
  • Tags
master
Nothing to show
Nothing to show
Find file History
lhc/papers/typechecking/
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
Boxy Types: Inference for Higher-Rank Types and Impredicativity.pdf
Closed type families with overlapping equations.pdf
Complete and Decidable Type Inference for GADTs.pdf
Equality proofs and deferred type errors.pdf
Giving Haskell a Promotion.pdf
OutsideInX (2011).pdf
Practical Type Inference for Arbitrary-Rank Types (2007).pdf
Practical Type Inference for Arbitrary-Rank Types, Technical Appendix (2007).pdf
Safe Coercions.pdf
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types.pdf
System F with Type Equality Coercions.pdf
Type Checking with Open Type Functions.pdf
Typing Haskell In Haskell.pdf
fc-normalization-rta.pdf
  • Contact GitHub
  • API
  • Training
  • Shop
  • Blog
  • About
  • © 2017 GitHub, Inc.
  • Terms
  • Privacy
  • Security
  • Status
  • Help
You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Providence Salumu