Tag: plt

6 items with this tag.

Feb 25, 2025
strong monad
- cs
- plt
Feb 25, 2025
Intrinsically typed term
- agda
- plt
Feb 25, 2025
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
- agda
- plt
Feb 22, 2025
effect handler 應該如何反應？
Feb 21, 2025
The problem of union type
- cs
- plt
Feb 19, 2025
Representations of Syntax with Binding
- plt
- agda