1
Dylan: the harsh realities of the market
So, this is a little case study. I did everything for Dylan. And when I say everything, I mean everything . Here's my resumé: I got e...
Typed Logic
Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
- Popular posts
- 1
- Total points
- 172
- HN comments
- 118
- Rank
- #14,306 personal
Visit logicaltypes.blogspot.com → RSS feedOn Hacker News Aug 2014 – Aug 2014