The following pages link to Chung-Chieh Shan (Q851194):
Displayed 22 items.
- A modal interpretation of the logic of interrogation (Q851195) (← links)
- Item:Q851194 (redirect page) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- On the static and dynamic extents of delimited continuations (Q2495550) (← links)
- Probabilistic Inference by Program Transformation in Hakaru (System Description) (Q2798260) (← links)
- Lightweight Static Capabilities (Q2866337) (← links)
- Shifting the stage (Q2913928) (← links)
- Backtracking, interleaving, and terminating monad transformers (Q2936782) (← links)
- Purely functional lazy non-deterministic programming (Q2936798) (← links)
- Deriving a probability density calculator (functional pearl) (Q2982001) (← links)
- Fun with Type Functions (Q3163410) (← links)
- A Substructural Type System for Delimited Continuations (Q3612633) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- (Q4412864) (← links)
- Purely functional lazy nondeterministic programming (Q4918241) (← links)
- Exact Bayesian inference by symbolic disintegration (Q5370851) (← links)
- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) (Q5458428) (← links)
- Delimited dynamic binding (Q5501456) (← links)
- From high-level inference algorithms to efficient code (Q6301672) (← links)