The following pages link to James J. Leifer (Q699932):
Displaying 8 items.
- Shallow linear action graphs and their embeddings (Q699934) (← links)
- Acute (Q2936763) (← links)
- Transition systems, link graphs and Petri nets (Q3419786) (← links)
- (Q4536606) (← links)
- <i>Functional Pearl</i>Deduction for functional programmers (Q4895558) (← links)
- Global abstraction-safe marshalling with hash types (Q5261268) (← links)
- Acute: High-level programming language design for distributed computation (Q5308092) (← links)
- Abstraction preservation and subtyping in distributed languages (Q5501476) (← links)
