Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: +
(1 - 7 of 7)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Verifying correctness of Haskell programs using the programming language Agda and framework agda2hs
Practical Verification of Lenses: Implementing Formally Verified Lenses using agda2hs
Practical Verification of the Reader Monad
Practical Verification of Infinite Structures in agda2hs
Practical Verification of Concurrent Haskell Programs
Practical Verification of the Inductive Graph Library
Producing a verified implementation of sequences using agda2hs
Searched for: +
(1 - 7 of 7)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel