Search
 
   

7 results for "domain:joachim-breitner.de"

  1. 23
    The magic “Just do it” type class haskell joachim-breitner.de
    julienXX avatar via julienXX 6 months ago | cached | 7 comments
  2. 18
    Finding bugs in Haskell code by proving it formalmethods haskell joachim-breitner.de
    pushcx avatar via pushcx 8 months ago | cached | no comments
  3. 7
    Proposal for less parentheses haskell joachim-breitner.de
    pushcx avatar via pushcx 11 months ago | cached | no comments
  4. 1
    How is coinduction the dual of induction? compsci joachim-breitner.de
    pushcx avatar via pushcx 1 year ago | cached | no comments
  5. 7
    veggies - Haskell Code Generation from Scratch compilers haskell programming joachim-breitner.de
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  6. 9
    Why prove programs equivalent when your compiler can do that for you? haskell release joachim-breitner.de
    pushcx avatar via pushcx 1 year ago | cached | no comments
  7. 11
    The Incredible Proof Machine haskell programming joachim-breitner.de
    pushcx avatar via pushcx 2 years ago | cached | 2 comments