Login / Signup

An approach to translating Haskell programs to Agda and reasoning about them.

Harold CarrChrista JenkinsMark MoirVictor Cacciari MiraldoLisandra Silva
Published in: CoRR (2022)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • formal theory
  • real world
  • plagiarism detection
  • decision making
  • knowledge base
  • information technology
  • general purpose
  • control structures