Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman… - Proceedings of the 15th …, 2022 - dl.acm.org
Modern dependently typed languages such as Agda can be used to statically enforce the
correctness of programs. However, they still lack the large ecosystem of a more popular …
Save Cite Cited by 8 Related articles
[PDF] sikanda.be

[PDF][PDF] Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman, U Norell - 2022 - jesper.sikanda.be
Modern dependently typed languages such as Agda can be used to statically enforce the
correctness of programs. However, they still lack the large ecosystem of a more popular …
Cite
[PDF] github.io

[PDF][PDF] Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman, U Norell - 2022 - omelkonian.github.io
Modern dependently typed languages such as Agda can be used to statically enforce the
correctness of programs. However, they still lack the large ecosystem of a more popular …
Cite
[PDF] escot.me

[PDF][PDF] Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman, U Norell - 2022 - lucas.escot.me
Modern dependently typed languages such as Agda can be used to statically enforce the
correctness of programs. However, they still lack the large ecosystem of a more popular …
Cite
[PDF] github.io

[PDF][PDF] Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman, U Norell - 2022 - omelkonian.github.io
Modern dependently typed languages such as Agda can be used to statically enforce the
correctness of programs. However, they still lack the large ecosystem of a more popular …
Cite

[CITATION][C] Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman, U Norell - 2022
Cite

[CITATION][C] Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs

J Cockx, O Melkonian, L Escot, J Chapman, U Norell - 2022
Cite