Scala vs Idris: Dependent Types, Now and in the Future - discu.eu

Reddit

Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 6 comments 6/12/2013 haskell

Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 11 comments 5/12/2013 scala

Linking pages

Six programming paradigms that will change how you think about coding https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/ 573 comments

Linked pages

Home - Strange Loop https://www.thestrangeloop.com/index.html 4 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:www.infoq.com

Search title: Scala vs Idris: Dependent Types, Now and in the Future

See how to search.

Submit link to: