The following pages link to Trevor Jim (Q1974451):
Displayed 9 items.
- Certifying compilation and run-time code generation (Q1974452) (← links)
- (Q2744758) (← links)
- A New Method for Dependent Parsing (Q3000590) (← links)
- (Q4365943) (← links)
- Shrinking lambda expressions in linear time (Q4376489) (← links)
- Compiling for template-based run-time code generation (Q4408687) (← links)
- Full Abstraction and the Context Lemma (Q4887022) (← links)
- Full abstraction and the Context Lemma (preliminary report) (Q5096215) (← links)
- Generalized certificate revocation (Q5178861) (← links)