( en | de | ru )

 

  3. Niki Vazou

Niki Vazou

Liquid Haskell: Haskell as a Theorem Prover.
. University of California, San Diego, USA, (2016)base-search.net (ftcdlib:qt8dm057ws).
  •  :
  •  :
далее