| Abstract | .... 2 | |
| 1 | GHC as a Parallel object-Oriented language | .... 2 |
| 1.1 | Basic syntax and computation rules | .... 2 |
| 1.2 | An example program | .... 3 |
| 2 | Implementing a meta-computation system in GHC | .... 4 |
| 2.1 | A Simple GHC meta-Program | .... 4 |
| 2.2 | Meta-level representation of the object-level system | .... 5 |
| 2.3 | An enhanced meta-program | .... 7 |
| 3 | Reflection and Reflective GHC | .... 8 |
| 3.1 | Two approaches Implementing reflection | .... 8 |
| 3.2 | Reflective predicates | .... 9 |
| 3.3 | Implementing Reflective GHC | .... 10 |
| 4 | Related works and conclusion | .... 11 |
| Acknowledgements | .... 12 | |
| References | .... 13 | |
| End | .... 14 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports