Dan's 數位🪴園
Search
Search
Dark mode
Light mode
Explorer
Tag: cs
8 items with this tag.
Mar 08, 2025
Dependent Pattern matching
cs
agda
pattern-matching
Feb 25, 2025
strong monad
cs
plt
Feb 22, 2025
effect handler 應該如何反應?
cs
plt
effect-system
Feb 21, 2025
The problem of union type
cs
plt
Feb 19, 2025
De Bruijn indices
cs
agda
lambda-calculus
Feb 19, 2025
Can Naive substitution work if all variables has different name?
cs
Feb 19, 2025
繼承的問題
cs
oop
Feb 19, 2025
source code has no semantic
cs
homoiconicity