The following pages link to Trampolined style (Q2817711):
Displaying 11 items.
- The coinductive resumption monad (Q283770) (← links)
- Space-efficient gradual typing (Q656856) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- A New Method for Dependent Parsing (Q3000590) (← links)
- Control reduction theories: the benefit of structural substitution (Q3503192) (← links)
- CHR for Imperative Host Languages (Q3616887) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- A theory of RPC calculi for client–server model (Q4972065) (← links)
