The following pages link to Scott F. Smith (Q1314347):
Displayed 23 items.
- Computational foundations of basic recursive function theory (Q1314348) (← links)
- Specification diagrams for actor systems (Q1870297) (← links)
- A variable typed logic of effects (Q1893729) (← links)
- From operational semantics to domain theory (Q1923089) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- A set-based context model for program analysis (Q2038063) (← links)
- (Q2704330) (← links)
- (Q2729061) (← links)
- (Q2763691) (← links)
- (Q2779233) (← links)
- Types for Flexible Objects (Q2789042) (← links)
- (Q3216141) (← links)
- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification (Q3498430) (← links)
- (Q4028336) (← links)
- (Q4251113) (← links)
- (Q4283243) (← links)
- A foundation for actor computation (Q4339018) (← links)
- Reflective semantics of constructive type theory (Q4594249) (← links)
- HYBRID PARTIAL-TOTAL TYPE THEORY (Q4853339) (← links)
- Relative Store Fragments for Singleton Abstraction (Q5233240) (← links)
- Types and trace effects of higher order programs (Q5451968) (← links)
- Programming Languages and Systems (Q5464061) (← links)
- From operational to denotational semantics (Q6116563) (← links)