The following pages link to Małgorzata Biernacka (Q879355):
Displaying 13 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- An abstract machine for strong call by value (Q2038078) (← links)
- A Context-based Approach to Proving Termination of Evaluation (Q2805157) (← links)
- (Q2852349) (← links)
- (Q4957787) (← links)
- (Q5089007) (← links)
- (Q5111306) (← links)
- (Q5144665) (← links)
- A concrete framework for environment machines (Q5277795) (← links)
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy (Q5310642) (← links)
- The zoo of lambda-calculus reduction strategies, and Coq (Q6572539) (← links)
- Non-deterministic abstract machines (Q6587112) (← links)
- Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines (Q6597953) (← links)
