Hacker News
- Fun with Dependent Types in Haskell http://www.alfredodinapoli.com/posts/2014-10-13-fun-with-dependent-types-in-haskell.html 11 comments
- Approximate Dependent-Type Programming in Haskell http://okmij.org/ftp/haskell/dependent-types.html 7 comments haskell
- A Specification for Dependently-typed Haskell (PDF) http://www.seas.upenn.edu/~sweirich/papers/systemd-submission.pdf 21 comments haskell
- Dependent Types in Haskell https://haskell-serbia.com/tutorial/4 11 comments haskell
- Dependent types in Haskell - Sort of https://amelia.how/posts/dependent-types-in-haskell-sort-of.html 5 comments haskell
- Using dependent types to write proofs in Haskell https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments haskell
- Dependently Typed Lambda Calculus in Haskell https://bor0.wordpress.com/2018/12/05/dependently-typed-lambda-calculus-in-haskell/ 12 comments haskell
- A specification for dependent types in Haskell http://dl.acm.org/citation.cfm?id=3110275 4 comments haskell
- Fun with Dependent Types in Haskell http://www.alfredodinapoli.com/posts/2014-10-13-fun-with-dependent-types-in-haskell.html 4 comments haskell
- A Role for Dependent Types in Haskell (Extended version) https://arxiv.org/abs/1905.13706 4 comments haskell
- Heterogeneous lists with dependent types in Haskell http://blog.poisson.chat/posts/2018-06-06-hlists-dependent-haskell.html 3 comments haskell
- What's the next best Big Thing for Haskell after dependent types? https://www.reddit.com/r/haskell/comments/6pqre3/whats_the_next_best_big_thing_for_haskell_after/ 108 comments haskell
- Dependent Types in Haskell: Theory and Practice https://github.com/goldfirere/thesis/blob/master/built/thesis.pdf 19 comments haskell
- Dependent types in Haskell: Progress Report https://typesandkinds.wordpress.com/2016/07/24/dependent-types-in-haskell-progress-report/ 20 comments haskell
- Stephanie Weirich on Dependent Typing, Extending Haskell http://www.infoq.com/interviews/weirich-haskell-dependent-types 12 comments haskell
- Weight-biased leftist heaps verified in Haskell using dependent types http://lambda.jstolarek.com/2014/10/weight-biased-leftist-heaps-verified-in-haskell-using-dependent-types/ 18 comments haskell
- Introduction to Dependent Types: Haskell on Steroids http://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html 18 comments haskell
- The Haskell Cast #14 - Richard Eisenberg on Dependent Types in Haskell http://www.haskellcast.com/episode/014-richard-eisenberg-on-dependent-types-in-haskell 11 comments haskell
- Putting Curry-Howard to work (Ωmega is a haskell-like language with dependent types). http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.8326 10 comments programming
- Dependently Typed Haskell in Industry (Experience Report) https://www.youtube.com/watch?v=Q6PKdRDKcKA 7 comments haskell
- May dependent types kill Template Haskell? https://www.reddit.com/r/haskell/comments/a45x63/may_dependent_types_kill_template_haskell/ 38 comments haskell
- [Haskell DC] Introductory Talk about Dependent Types and Idris http://www.meetup.com/Haskell-DC/events/170674502/ 6 comments haskell
- A Tutorial Implementation of a Dependently Typed Lambda Calculus in Haskell http://www.andres-loeh.de/lambdapi/ 10 comments haskell
- Typed type-level programming in Haskell, part I: functional dependencies http://byorgey.wordpress.com/2010/06/29/typed-type-level-programming-in-haskell-part-i-functional-dependencies/ 32 comments haskell
- The Type Theory Podcast Episode 4: Stephanie Weirich on Zombie and Dependent Haskell http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 20 comments programming
- The Type Theory Podcast Episode 4: Stephanie Weirich on Zombie and Dependent Haskell http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 4 comments haskell
- Dependent Types in Haskell: Present and Future (NY Haskell Meetup Video) https://www.youtube.com/watch?amp%3Bfeature=youtu.be&v=OZWYohmLKuU 3 comments haskell
- Prove Your Haskell for Great Safety! Part I: Dependent Types in Haskell https://www.fpcomplete.com/user/konn/prove-your-haskell-for-great-safety/dependent-types-in-haskell 18 comments haskell
- Abusing Haskell dependent types to make Redis queues safer https://medium.com/@zyxoas/abusing-haskell-dependent-types-to-make-redis-queues-safer-cc31db943b6c 6 comments haskell
- Practical Dependent Types in Haskell -- Type Safe Neural Networks https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 14 comments haskell
- [Blog post] Moving from Multiparameter Type Classes and Functional Dependencies to Type Families in Haskell https://dikgwahlapiso.wordpress.com/2015/08/30/moving-from-multiparameter-type-classes-and-functional-dependencies-to-type-families-in-haskell/ 3 comments haskell
- Practical examples of how dependent types are going to help Haskellers who don't know anyhting about dependent types https://hackage.haskell.org/package/vector-sized 19 comments haskell
- Practical Dependent Types in Haskell 2 -- Existential Neural Networks and Types at Runtime https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments haskell
- [London Haskell] Idris: General Purpose Programming with Dependent Types http://www.youtube.com/watch?v=vkIlW797JN8 11 comments haskell
- Which do you guys want more? Full support for dependent types in Haskell, or a solution to the String/Text/ByteString mess? https://www.reddit.com/r/haskell/comments/6oz77a/which_do_you_guys_want_more_full_support_for/ 27 comments haskell
- Interview with Brian McKenna about Roy, Purescript, Haskell, Idris and dependent types https://medium.com/this-is-not-a-monad-tutorial/interview-with-brian-mckenna-about-roy-purescript-haskell-idris-and-dependent-types-63bb1289ea3d 60 comments programming
- A Type-Preserving Compiler in Haskell : "dependent typing is finally available in an industry-quality implementation" http://209.85.173.104/search?q=cache:sdeoj5ettqkj:www.iro.umontreal.ca/~monnier/tpch.pdf 3 comments programming
- Openings for Haskell, Ocaml and three very experienced Scala developers at Swedish spin-off taking dependent types to the industry ... https://se.linkedin.com/jobs2/view/10989030 8 comments haskell
- Conor's Rule? - Any sufficiently complicated Haskell or ML program contains an ad hoc, informally-specified, bug-ridden, half-completed simulation of dependent types. http://blog.jbapple.com/2007/02/conors-rule.html 8 comments programming