HaskellCNOrg / haper
FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
☆12Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for haper
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago
- Generic parser combinators☆88Updated 3 weeks ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- xmonad in Coq☆43Updated 12 years ago
- Complete raw OpenGL bindings for Haskell☆94Updated 7 months ago
- ☆94Updated 8 years ago
- Haskell 98 comonads☆77Updated 3 weeks ago
- ☆49Updated 11 years ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated last year
- Dive into GHC☆82Updated 7 years ago
- ☆95Updated 9 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 7 years ago
- A more elegant specification for FRP☆24Updated 10 months ago
- ☆41Updated 9 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 7 years ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆97Updated 6 months ago
- 2048 in Idris☆121Updated 6 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- Extract the heap representation of Haskell values and thunks☆50Updated 10 months ago
- The Haskell Refactoring Tool☆136Updated 4 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- A collection of Notes on GHC☆70Updated 5 years ago
- JVM code generation☆32Updated 5 years ago
- A funny toy programming language project☆29Updated 11 years ago