Sign in

Modular type-safety proofs in Agda.

Christopher SchwaabJeremy G. Siek
Published in: PLPV (2013)
Keyphrases
  • social networks
  • data sets
  • databases
  • computer programs