| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465586503316 |
|
|
Titolo |
Trends in Functional Programming [[electronic resource] ] : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / / edited by Meng Wang, Scott Owens |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 149 p. 48 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10788 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Software engineering |
Operating systems (Computers) |
Compilers (Computer programs) |
Computers, Special purpose |
Computer systems |
Programming Techniques |
Software Engineering |
Operating Systems |
Compilers and Interpreters |
Special Purpose and Application-Based Systems |
Computer System Implementation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed revised selected papers |
|
|
|
|
|
|
|
|
|
|
|
|
|
of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996453552303316 |
|
|
Autore |
Pollmann Karla |
|
|
Titolo |
Der Fall Roms und seine Wiederauferstehungen in Antike und Mittelalter / / Karla Pollmann, Henriette Harich-Schwarzbauer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin/Boston, : De Gruyter, 2013 |
|
Berlin ; ; Boston : , : De Gruyter, , [2013] |
|
©2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (332 p.) |
|
|
|
|
|
|
Collana |
|
Millennium-Studien / Millennium Studies ; ; 40 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Alaric |
Alarich |
Rom /Antike |
Rom /Bild |
Rom /Fall 410 n Chr |
Rome/ Ancient |
Rome/ Fall in 410 AD |
Rome/ Image |
Plünderung |
Goten |
HISTORY / Ancient / General |
Rome History Empire, 284-476 Historiography |
Rome In literature |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Inhalt -- Einleitung -- I. Rom als universaler Diskursort |
|
|
|
|
|
|
|
|
|
|
|
-- The Emblematic City: Images of Rome before AD 410 / Pollmann, Karla -- Die ,Mauern' Roms in Claudians De bello Gildonico und De bello Getico - Diskurse der Angst in den Jahren 398 -402 / Harich-Schwarzbauer, Henriette -- Rom als Diskursort der Heterodoxie und Stadt der Apostel und Märtyrer: Zur Semantik von Augustins Rombild-Konstruktionen / Fuhrer, Therese -- II. Historische Perspektiven auf Rom nach 410 -- Kaiser Honorius und der Fall Roms: Zur Macht des Glaubens / Näf, Beat -- Alarico e il sacco di Roma nelle fonti dell'Oriente romano / Roberto, Umberto -- Rome During the Ostrogoth Kingdom: Its Political Meaning as Apostolic See / Testa, Rita Lizzi -- III. Der Fall Roms als Lehrbeispiel -- Grand Finale. Orosius' Historiae adversus paganos. Or the Subversion of History / Formisano, Marco -- Divine Anger and Divine Favour: Transformations in Roman Thought Patterns in Late Antiquity / Kahlos, Maijastina -- La prise de Rome de 410, une étape dans la christianisation de la ville / Wolff, Étienne -- L'eco letteraria del declino di Roma nel commento a Ezechiele di Girolamo e di Gregorio Magno / Ricci, Cristina -- IV. Poetische Wiederauferstehungen Roms nach 410 -- ... quod sine fine placet. Roma renascens bei Rutilius Namatianus und Prudentius / Schierl, Petra -- Imperium sine fine after 410. The Attempt at an Impossible Accomplishment in Some Latin Poetical Sources / Tommasi, Chiara O. -- Par tibi Roma nihil. Rom-Bilder in lateinischen und mittelhochdeutschen Dichtungen des 11. und 12. Jahrhunderts / Plotke, Seraina -- Anmerkungen zu den Autorinnen und Autoren -- Index Nominum -- Index Rerum |
|
|
|
|
|
|
Sommario/riassunto |
|
Im August 2010 jährte sich zum 1600. Mal die Plünderung Roms durch den Gothen Alarich. Dieses Ereignis wurde von Paganen und Christen gleichermassen zu einem Weltereignis stilisiert und fand ein vielfältiges Echo in zeitgenössischer und späterer Literatur. Dieser Sammelband analysiert die Bewertung dieses Falls Roms aus textwissenschaftlicher, historischer und theologischer Perspektive interdisziplinär bis ins hohe Mittelalter, unter Berücksichtigung des Rückblicks der späteren Byzantiner sowie ausgewählter Reaktionen der lateinischen und volkssprachigen Literatur im Westen. Es kann gezeigt werden, dass viele Kulturträger in ein "Netzwerk" integriert waren, sei es Rom bejahend oder auch in skeptischer bis ablehnender Distanz. Diese unaufgelöste Spannung führte dazu, dass die "Katastrophe" von 410, obgleich historisch von relativ geringer Bedeutung, enorme literarische Kräfte mit dem Ziel der mentalen Identitätsbestimmung freisetzte. |
|
|
|
|
|
|
|
| |