Seminar Details
| Date |
9-3-2011 |
| Time |
14:30 |
| Room/Location |
DISI-Sala Conferenze 3 piano |
| Title |
Multi-stage programming, Code generation and MetaOCaml |
| Speaker |
Prof. Eugenio Moggi |
| Affiliation |
DISI |
| Link |
https://www.disi.unige.it/index.php?eventsandseminars/seminars
|
| Abstract |
In questo tutorial prima spiegheremo la nozione di "staged computation", che è motivata da considerazioni di efficienza, e di per sé è svincolata da particolari costrutti linguistici. Quindi introdurremo l'approccio alla programmazione multi-stage proposto da Sheard e Taha, che si basa sull'aggiunta ad un linguaggio di programmazione (preferibilmente funzionale e tipato) di alcuni costrutti Lisp per la meta-programmazione. Infine, illustreremo alcuni semplici esempi di programmazione multi-stage nel contesto del linguaggio MetaOCaml. |
|
|
 |
