Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: +
(1 - 13 of 13)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Formally proving the correctness of the (un)currying refactoring: Using Agda with a simple Haskell-like programming language
Maybe a List would be better?: Correct by construction Maybe to List refactorings in a Haskell-like language
Proving correctness of refactoring tuples to records: A correct-by-construction approach on a Haskell-like language
Extracting LLVM Intermediate Representation from Agda
Practical Verification of Lenses: Implementing Formally Verified Lenses using agda2hs
Agda2Rust: A Study on an Alternative Backend for the Agda Compiler
Practical Verification of the Reader Monad
Practical Verification of Infinite Structures in agda2hs
Code extraction from Agda to HVM
Comparing Code extraction from Agda to Java to existing Methods
Code Extraction from a Dependently Typed Language to a Stack Based Language
Verifying correctness of Haskell programs using the programming language Agda and framework agda2hs
Practical Verification of the Inductive Graph Library
Searched for: +
(1 - 13 of 13)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel