The adequacy of Launchbury's natural semantics for lazy evaluation von BREITNER, JOACHIM

Volltext

More Fixpoints! (Functional Pearl) von Breitner, Joachim

Volltext

Call Arity von Breitner, Joachim

Volltext

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation: Invited Talk: The Sufficiently Smart Compiler can Prove Theorems von Breitner, Joachim

Volltext

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation von Breitner, Joachim

Volltext

Visual Theorem Proving with the Incredible Proof Machine von Breitner, Joachim

Volltext

Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies von Breitner, Joachim, Heninger, Nadia

Volltext

Loop subgroups of F r and the image of their stabilizer subgroups in GL r (ℤ) von Breitner, Joachim

Volltext

Loop subgroups of Fr and the image of their stabilizer subgroups in GLr(ℤ) von Breitner, Joachim

Volltext

Lock-step simulation is child's play (experience report) von Breitner, Joachim, Smith, Chris

Volltext

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code von BREITNER, JOACHIM, SPECTOR-ZABUSKY, ANTAL, LI, YAO, RIZKALLAH, CHRISTINE, WIEGLEY, JOHN, COHEN, JOSHUA, WEIRICH, STEPHANIE

Volltext

The Curious Case of the Half-Half Bitcoin ECDSA Nonces von Rowe, Dylan, Breitner, Joachim, Heninger, Nadia

Volltext

Call Arity von Breitner, Joachim

Volltext

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming von Augustsson, Lennart, Breitner, Joachim, Claessen, Koen, Jhala, Ranjit, Peyton Jones, Simon, Shivers, Olin, Steele Jr, Guy L., Sweeney, Tim

Volltext

Safe zero-cost coercions for Haskell von BREITNER, JOACHIM, EISENBERG, RICHARD A., PEYTON JONES, SIMON, WEIRICH, STEPHANIE

Volltext

Bringing the WebAssembly Standard up to Speed with SpecTec von Youn, Dongjun, Shin, Wonho, Lee, Jaehyun, Ryu, Sukyoung, Breitner, Joachim, Gardner, Philippa, Lindley, Sam, Pretnar, Matija, Rao, Xiaojia, Watt, Conrad, Rossberg, Andreas

Volltext

Low-deterministic security for low-nondeterministic programs von Bischof, Simon, Breitner, Joachim, Graf, Jürgen, Hecker, Martin, Mohr, Martin, Snelting, Gregor

Volltext

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) von Breitner, Joachim, Spector-Zabusky, Antal, Li, Yao, Rizkallah, Christine, Wiegley, John, Weirich, Stephanie

Volltext

Low-deterministic security for low-nondeterministic programs1 von Bischof, Simon, Breitner, Joachim, Graf, Jürgen, Hecker, Martin, Mohr, Martin, Snelting, Gregor

Volltext

Modular, higher order cardinality analysis in theory and practice von SERGEY, ILYA, VYTINIOTIS, DIMITRIOS, JONES, SIMON L. PEYTON, BREITNER, JOACHIM

Volltext