The following pages link to Siau-Cheng Khoo (Q238509):
Displayed 18 items.
- Type-directed weaving of aspects for polymorphically typed functional languages (Q988192) (← links)
- Item:Q238509 (redirect page) (← links)
- Semantics-directed generation of a Prolog compiler (Q1314540) (← links)
- Program adaptation via output-constraint specialization (Q1768474) (← links)
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- Automated mutual explicit induction proof in separation logic (Q2281658) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- (Q2722049) (← links)
- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (Q3611993) (← links)
- (Q4259949) (← links)
- (Q4529770) (← links)
- On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
- Charting patterns on price history (Q5178004) (← links)
- Programming Languages and Systems (Q5464038) (← links)
- (Q5472907) (← links)
- Programming Languages and Systems (Q5493387) (← links)
- Programming Languages and Systems (Q5902358) (← links)
- Calculating sized types (Q5959585) (← links)