The following pages link to John Hannan (Q586051):
Displayed 11 items.
- Item:Q586051 (redirect page) (← links)
- A type-based escape analysis for functional languages (Q4236863) (← links)
- From operational semantics to abstract machines (Q4279254) (← links)
- Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918. (Q4408680) (← links)
- (Q4414729) (← links)
- (Q4472541) (← links)
- (Q4529771) (← links)
- On Extracting Static Semantics (Q4917055) (← links)
- Higher-order arity raising (Q5234256) (← links)
- Higher-order arity raising (Q5348885) (← links)
- Higher-order unCurrying (Q5926073) (← links)