The following pages link to Functional unparsing (Q4240154):
Displayed 6 items.
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Shifting the stage (Q2913928) (← links)
- Type-safe pattern combinators (Q3616444) (← links)