User loginNavigation |
The Role of Type Equality in Meta-ProgrammingThe Role of Type Equality in Meta-Programming (Emir Pasalic) Meta-programming, writing programs that write other programs, involves two kinds of languages. The meta-language is the language in which meta-programs, which construct or manipulate other programs, are written. The object-language is the language of programs being manipulated. An interesting investigation by Emir Pasalic into meta programming and its relation to both dependent typing and multi-stage programming, among which an exposé of the development of Omega (see also: Tim Sheard ). By Niels Hoogeveen at 2005-11-09 16:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 10786 reads
|
Browse archivesActive forum topics |
Recent comments
7 weeks 3 days ago
7 weeks 5 days ago
7 weeks 6 days ago
14 weeks 6 days ago
20 weeks 4 days ago
20 weeks 5 days ago
21 weeks 4 days ago
24 weeks 2 days ago
25 weeks 5 days ago
25 weeks 6 days ago