1. 5
    Funflow: typed resumable workflows haskell tweag.io
    NinjaTrappeur avatar via NinjaTrappeur 38 hours ago | cached | no comments
  2. 8
    Program Reduction: A Win for Recursion Schemes haskell plt newartisans.com
    NinjaTrappeur avatar via NinjaTrappeur 40 hours ago | cached | 4 comments
  3. 22
    Uncanny Haskell haskell blog.vmchale.com
    mjn avatar via mjn 4 days ago | cached | 4 comments
  4. 7
    Type safe records as an excuse to learn type level programming in Haskell haskell rcalsaverini.github.io
    NinjaTrappeur avatar via NinjaTrappeur 4 days ago | cached | 1 comment
  5. 19
    LambdaCube3D: A Haskell-like, Purely-Functional DSL for GPU Programming graphics haskell programming lambdacube3d.com
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | 2 comments
  6. 6
    Stitch: The Sound Type-Indexed Type Checker pdf haskell cs.brynmawr.edu
    pushcx avatar via pushcx 7 days ago | cached | no comments
  7. 13
    Linearity, Uniqueness, and Haskell haskell edsko.net
    neonpython avatar via neonpython 12 days ago | cached | no comments
  8. 7
    C++ is ugly, so is Haskell ☶ c++ haskell medium.com
    kghose avatar via kghose 14 days ago | cached | 5 comments
  9. 31
    Higher-Kinded Data haskell programming reasonablypolymorphic.com
    NinjaTrappeur avatar via NinjaTrappeur 14 days ago | cached | 3 comments
  10. 24
    Notes on Idris (late 2017) ☶ haskell ml thebreakfastpost.com
    kghose avatar via kghose 16 days ago | cached | 8 comments
  11. 17
    Using Cloud Haskell to write a type-safe distributed chat haskell programming stackbuilders.com
    jpvillaisaza avatar via jpvillaisaza 16 days ago | cached | no comments
  12. 11
    Function pipeline monoid compsci haskell typeclasses.com
    pushcx avatar via pushcx 17 days ago | cached | 6 comments
  13. 11
    A catamorphic lambda-calculus interpreter compilers compsci haskell michaelpj.com
    mpdehnel avatar via mpdehnel 17 days ago | cached | no comments
  14. 6
    BayHac2018 (Bay Area Haskell Hackathon + Talks) - Registration Open! event haskell wiki.haskell.org
    tigerfinch avatar via tigerfinch 17 days ago | cached | no comments
  15. 5
    Towards a Verified, Complex, Protocol Stack in a Production Kernel: Method and Demo (2016) ☶ pdf c formalmethods freebsd hardware haskell cs.dartmouth.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | 1 comment
  16. 8
    Stackage to Nix haskell blog.typeable.io
    NinjaTrappeur avatar via NinjaTrappeur 20 days ago | cached | no comments
  17. 5
    Anduril Industries is Hiring ☶ haskell job rust
    computer avatar authored by computer 21 days ago | no comments
  18. 9
    Answering "A monad is just a monoid in the category of endofunctors, what's the problem?" haskell plt stackoverflow.com
    zge avatar via zge 21 days ago | cached | 5 comments
  19. 20
    Haskell Roguelike games haskell andrevdm.com
    hwayne avatar via hwayne 23 days ago | cached | no comments
  20. 2
    Proposal: Professionalizing GHC Development haskell satire mail.haskell.org
    jad avatar via jad 25 days ago | cached | 1 comment
  21. 29
    Stealing Where from Rust haskell rust parsonsmatt.org
    pushcx avatar via pushcx 1 month ago | cached | 3 comments
  22. 8
    Getting things done in Haskell slides video haskell jaspervdj.be
    pushcx avatar via pushcx 1 month ago | cached | no comments
  23. 8
    Type-level Unit Testing in Haskell haskell testing jship.github.io
    NinjaTrappeur avatar via NinjaTrappeur 1 month ago | cached | no comments
  24. 4
    Type-Safe Observable Sharing in Haskell (2009) ☶ pdf haskell plt ittc.ku.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 33
    Three Layer Haskell Cake haskell parsonsmatt.org
    pushcx avatar via pushcx 1 month ago | cached | 7 comments
Page 2 >>