Philippe Desjardins-Proulx personal blog
Automated reasoning in F#, Scala, Haskell, C++, and Julia
The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.
- Points
- 134
- HN comments
- 32
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2015
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 3, 2015 | Automated reasoning in F#, Scala, Haskell, C++, and Julia by Bognar | 134 | 32 |
