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 - 7 of 7)
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
Literature survey of type inference algorithms for statically typed languages
The effect of EHOP on the writing of Program Analyzers
Applicability of Effect Handler Oriented Programming (EHOP) for Text-Based Game Development
Programming With Effects: Improving the quality of code in IO intensive applications through effect handlers
Deriving a Symbolic Executor for Definitional Interpreters Suitable for the Study of Heuristics
Exploring Program Equivalence as a Means of Comparing Definitional Interpreters
Searched for: +
(1 - 7 of 7)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel