The following pages link to Christopher T. Haynes (Q2568435):
Displaying 10 items.
- Source-tracking unification (Q2568436) (← links)
- (Q2736592) (← links)
- (Q3323252) (← links)
- (Q3339256) (← links)
- (Q3738543) (← links)
- Obtaining coroutines with continuations (Q3740199) (← links)
- Embedding continuations in procedural objects (Q3768363) (← links)
- (Q4024007) (← links)
- Logic continuations (Q4727393) (← links)
- Automated Deduction – CADE-19 (Q5900733) (← links)
