| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910992896203321 |
|
|
Autore |
Manganaro, Stefano |
|
|
Titolo |
Stabilitas regni : percezione del tempo e durata dell'azione politica nell'età degli Ottoni (936-1024) / Stefano Manganaro |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bologna, : il Mulino, 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Istituto italiano per gli studi storici ; 71 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484641303321 |
|
|
Titolo |
Implementation and Application of Functional Languages : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / / edited by Marco T. Morazán, Sven-Bodo Scholz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 237 p. 107 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6041 |
|
|
|
|
|
|
Altri autori (Persone) |
|
MorazanMarco T |
ScholzSven-Bodo |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Software engineering |
Computer science |
Machine theory |
Compilers (Computer programs) |
Programming Techniques |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the selected peer-reviewed revised articles that were p- st sented at the 21 International Symposium on Implementation and Application of Functional Languages (IFL 2009). IFL 2009 was held September 23-25, 2009 at Seton Hall University in South Orange, NJ, USA. This version of the IFL symposium marked a milestone by being the ?rst ever to be held in the United States. Ourgoalsareto makeIFLaregulareventheldintheUSAandinEurope byalternatingthehostcontinenteveryyearandtofostercollaborations,inter- |
|
|
|
|
|
|
|
|
|
|
tions, and friendships between researchers and practitioners on both continents and beyond. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and functi- based programming languages. Every year IFL provides a venue for the p- sentation and discussion of new ideas and concepts, of work in progress, and of publication-riperesults. Participantsareinvitedtosubmiteitheradraftpaperor an extended abstract describing work to be presented at the symposium. These submissions are screened by the Program Committee Chair to make sure they are within the scope of IFL. The submissions accepted for presentation appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the sym- sium, authors are given the opportunity to consider the feedback received from discussions at the symposium and are invited to submit revised, full articles to the formalreviewprocess. Therevisedsubmissionsarereviewedbythe Program Committee using prevailing academic standards, and the best submissions are chosento appearin theformalproceedings. Thisvolumeisthe resultofthework done by the IFL 2009 Program Committee and the contributing authors. |
|
|
|
|
|
| |