Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: +
(1 - 3 of 3)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Maybe a List would be better?: Correct by construction Maybe to List refactorings in a Haskell-like language
Programming With Effects: Improving the quality of code in IO intensive applications through effect handlers
Exploring Program Equivalence as a Means of Comparing Definitional Interpreters