The following pages link to Chiyan Chen (Q2936768):
Displayed 5 items.
- Combining programming with theorem proving (Q2936769) (← links)
- Guarded recursive datatype constructors (Q2942928) (← links)
- Meta-programming through typeful code representation (Q5261282) (← links)
- (Q5472910) (← links)
- Meta-programming through typeful code representation (Q5708287) (← links)