Alperen Keles
posts
resume
papers
research
projects
talks
|
Entries tagged :: type systems
.
2026-03-06
Seeing types where others don't
en
[type systems, programming languages, testing, the consensus]
1 min read
Tip Sistemleri / Type Systems
tr
[type-systems, programming-languages]
1 min read
Hafif Programming
Read more ⟶
