Home | Search | Help  
Home Page Università di Genova

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.
Back to Seminars