Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
7 results for "domain:joachim-breitner.de"
23
The magic “Just do it” type class
haskell
joachim-breitner.de
via
julienXX
6 months ago
|
cached
|
7 comments
7
18
Finding bugs in Haskell code by proving it
formalmethods
haskell
joachim-breitner.de
via
pushcx
8 months ago
|
cached
|
no comments
0
7
Proposal for less parentheses
haskell
joachim-breitner.de
via
pushcx
11 months ago
|
cached
|
no comments
0
1
How is coinduction the dual of induction?
compsci
joachim-breitner.de
via
pushcx
1 year ago
|
cached
|
no comments
0
7
veggies - Haskell Code Generation from Scratch
compilers
haskell
programming
joachim-breitner.de
via
nickpsecurity
1 year ago
|
cached
|
no comments
0
9
Why prove programs equivalent when your compiler can do that for you?
haskell
release
joachim-breitner.de
via
pushcx
1 year ago
|
cached
|
no comments
0
11
The Incredible Proof Machine
haskell
programming
joachim-breitner.de
via
pushcx
2 years ago
|
cached
|
2 comments
2