Tag: cs

8 items with this tag.

Mar 08, 2025
Dependent Pattern matching
Feb 25, 2025
strong monad
- cs
- plt
Feb 22, 2025
effect handler 應該如何反應？
Feb 21, 2025
The problem of union type
- cs
- plt
Feb 19, 2025
De Bruijn indices
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