Dan's 數位🪴園
Search
Search
Dark mode
Light mode
Explorer
Tag: plt
6 items with this tag.
Feb 25, 2025
strong monad
cs
plt
Feb 22, 2025
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
agda
plt
Feb 21, 2025
The problem of union type
cs
plt
Feb 19, 2025
Intrinsically typed term
agda
plt
Feb 19, 2025
effect handler 應該如何反應？
cs
plt
effect-system
Feb 14, 2025
Representations of Syntax with Binding
plt
agda