Search Results - Breitner, Joachim

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Theorem proving for all: equational reasoning in Liquid Haskell

    Theorem proving for all: equational reasoning in Liquid Haskell by Vazou, Niki, Breitner, Joachim, Kunkel, Rose, Van Horn, David, Hutton, Graham

    Published 2018
    Get full text

Search Tools: