The following pages link to Siau-Cheng Khoo (Q238509):
Displaying 5 items.
- Type-directed weaving of aspects for polymorphically typed functional languages (Q988192) (← links)
- Program adaptation via output-constraint specialization (Q1768474) (← links)
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- Programming Languages and Systems (Q5464038) (← links)
