| Author
|
Walid Taha +
, Zine El-Abidine Benaissa +
, Sheard Tim +
|
| Conference
|
ICALP'98. International Colloquium on Automata, Languages, and Programming
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588305
|
| PublicationType
|
Conference Paper +
|
| Title
|
Multi-Stage Programming : Axiomatization and Type-Safety +
|
| Year
|
1998 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
, Publications:Multi-Stage Programming : Axiomatization and Type-Safety +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:06 +
|
