pith. sign in

Joachim Breitner

Identifiers

  • name variant Joachim Breitner 0.60 · backfill

Papers (14)

  1. Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell) cs.PL · 2018 · author #2
  2. Type variables in patterns cs.PL · 2018 · author #2
  3. The sufficiently smart compiler is a theorem prover cs.PL · 2018 · author #1
  4. A promise checked is a promise kept: Inspection Testing cs.PL · 2018 · author #1
  5. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code cs.PL · 2018 · author #1
  6. Total Haskell is Reasonable Coq cs.PL · 2017 · author #2
  7. Analytic Formulas for Renyi Entropy of Hidden Markov Models cs.IT · 2017 · author #1
  8. Lock-step simulation is child's play cs.PL · 2017 · author #1
  9. The Correctness of Launchbury's Natural Semantics for Lazy Evaluation cs.PL · 2014 · author #1
  10. Certified HLints with Isabelle/HOLCF-Prelude cs.LO · 2013 · author #1
  11. dup -- Explicit un-sharing in Haskell cs.PL · 2012 · author #1
  12. Tackling the testing migration problem with SAT-Solvers cs.SE · 2012 · author #1
  13. Conditional Elimination through Code Duplication cs.PL · 2011 · author #1
  14. Loop subgroups of F_r and the image of their stabilizer subgroups in GL_r(Z) math.GR · 2010 · author #1

Mentions

  • 1405.3099 #1 · backfill · confidence 0.70 Joachim Breitner
  • 1306.1340 #1 · backfill · confidence 0.70 Joachim Breitner
  • 1207.2017 #1 · backfill · confidence 0.70 Joachim Breitner
  • 1204.2974 #1 · backfill · confidence 0.70 Joachim Breitner
  • 1106.3478 #1 · backfill · confidence 0.70 Joachim Breitner
  • 1012.2729 #1 · backfill · confidence 0.70 Joachim Breitner

Frequent Coauthors