Stories tagged as haskell – Haskell programming
  1. 3
    The Const Applicative and Monoids haskell plt blog.jle.im
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | no comments
  2. 14
    First-Class Modules for Haskell pdf haskell microsoft.com
    julienXX avatar via julienXX 3 months ago | cached | 2 comments
  3. 4
    unexceptionalio-trans: A wrapper around UnexceptionalIO using monad transformers ☶ haskell release hackage.haskell.org
    singpolyma avatar authored by singpolyma 3 months ago | cached | no comments
  4. 2
    Follow the Denotation haskell plt reasonablypolymorphic.com
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | no comments
  5. 13
    The monad complaint pipeline culture haskell argumatronic.com
    calvin avatar via calvin 4 months ago | cached | 10 comments
  6. 2
    Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012) ☶ pdf formalmethods haskell javascript plt testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  7. 5
    Funflow: typed resumable workflows haskell tweag.io
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | no comments
  8. 8
    Program Reduction: A Win for Recursion Schemes haskell plt newartisans.com
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | 4 comments
  9. 22
    Uncanny Haskell haskell blog.vmchale.com
    mjn avatar via mjn 4 months ago | cached | 4 comments
  10. 7
    Type safe records as an excuse to learn type level programming in Haskell haskell rcalsaverini.github.io
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | 1 comment
  11. 19
    LambdaCube3D: A Haskell-like, Purely-Functional DSL for GPU Programming graphics haskell programming lambdacube3d.com
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 2 comments
  12. 6
    Stitch: The Sound Type-Indexed Type Checker pdf haskell cs.brynmawr.edu
    pushcx avatar via pushcx 4 months ago | cached | no comments
  13. 13
    Linearity, Uniqueness, and Haskell haskell edsko.net
    neonpython avatar via neonpython 4 months ago | cached | no comments
  14. 7
    C++ is ugly, so is Haskell ☶ c++ haskell medium.com
    kghose avatar via kghose 4 months ago | cached | 5 comments
  15. 31
    Higher-Kinded Data haskell programming reasonablypolymorphic.com
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | 3 comments
  16. 24
    Notes on Idris (late 2017) ☶ haskell ml thebreakfastpost.com
    kghose avatar via kghose 4 months ago | cached | 8 comments
  17. 17
    Using Cloud Haskell to write a type-safe distributed chat haskell programming stackbuilders.com
    jpvillaisaza avatar via jpvillaisaza 4 months ago | cached | no comments
  18. 11
    Function pipeline monoid compsci haskell typeclasses.com
    pushcx avatar via pushcx 4 months ago | cached | 6 comments
  19. 11
    A catamorphic lambda-calculus interpreter compilers compsci haskell michaelpj.com
    mpdehnel avatar via mpdehnel 4 months ago | cached | no comments
  20. 6
    BayHac2018 (Bay Area Haskell Hackathon + Talks) - Registration Open! event haskell wiki.haskell.org
    tigerfinch avatar via tigerfinch 4 months ago | cached | no comments
  21. 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 4 months ago | cached | 1 comment
  22. 8
    Stackage to Nix haskell blog.typeable.io
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | no comments
  23. 5
    Anduril Industries is Hiring ☶ haskell job rust
    computer avatar authored by computer 4 months ago | no comments
  24. 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 4 months ago | cached | 5 comments
  25. 21
    Haskell Roguelike games haskell andrevdm.com
    hwayne avatar via hwayne 4 months ago | cached | no comments
<< Page 2 | Page 4 >>