The following pages link to Jacob Matthews (Q3189773):
Displayed 4 items.
- Operational semantics for multi-language programs (Q3189775) (← links)
- Revised6 Report on the Algorithmic Language Scheme (Q3401233) (← links)
- An operational semantics for Scheme (Q5437033) (← links)
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (Q5458383) (← links)