The following pages link to John Launchbury (Q915482):
Displaying 10 items.
- Strictness analysis aids inductive proofs (Q915483) (← links)
- (Q2769437) (← links)
- Recursive monadic bindings (Q2943368) (← links)
- Representing demand by partial projections (Q3125158) (← links)
- Projection Factorisations in Partial Evaluation (Q4001863) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- (Q4994691) (← links)
- Efficient lookup-table protocol in secure multiparty computation (Q5168893) (← links)
- Implicit parameters (Q5178847) (← links)
- Monadic state (Q5348879) (← links)
