Sign in

Program equivalence in a typed probabilistic call-by-need functional language.

Manfred Schmidt-SchaußDavid Sabel
Published in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
  • functional language
  • functional programs
  • functional programming
  • programming language
  • probabilistic model
  • bayesian networks
  • database
  • query language
  • data types