@inproceedings{Giorgidze2013b, author = {George Giorgidze and Torsten Grust and Alexander Ulrich and Jeroen Weijers}, title = {Algebraic Data Types for Language-Integrated Queries}, booktitle = {Proceedings of the 1st international workshop on Data Driven Functional Programming, Rome, Italy}, publisher = {ACM}, year = {2013} } @inproceedings{Giorgidze2013a, author = {George Giorgidze and Torsten Grust and Iassen Halatchliyski and Michael Kummer}, title = {Analysing the Entire {W}ikipedia History with {D}atabase {S}upported {H}askell}, booktitle = {Proceedings of the 15th international symposium on Practical Aspects of Declarative Languages, Rome, Italy}, publisher = {Springer}, year = {2013}, note = {To appear} } @phdthesis{Giorgidze2012a, author = {George Giorgidze}, school = {Functional Programming Laboratory, School of Computer Science, The University of Nottingham}, title = {First-class models: On a noncausal language for higher-order and structurally dynamic modelling and simulation}, type = {Thesis submitted to {The University of Nottingham} for the degree of {Doctor of Philosophy}}, address = {Nottingham, England}, year = {2012} } @inproceedings{Giorgidze2011a, author = {George Giorgidze and Torsten Grust and Nils Schweinsberg and Jeroen Weijers}, title = {Bringing Back Monad Comprehensions}, booktitle = {Proceedings of the ACM SIGPLAN Haskell symposium, Tokyo, Japan}, year = {2011}, publisher = {ACM} } @inproceedings{Giorgidze2010b, author = {George Giorgidze and Torsten Grust and Tom Schreiber and Jeroen Weijers}, title = {{H}askell Boards the {F}erry: Database-Supported Program Execution for {H}askell}, booktitle = {Revised selected papers of the 22nd international symposium on Implementation and Application of Functional Languages, Alphen aan den Rijn, Netherlands}, series = {Lecture Notes in Computer Science}, volume = {6647}, year = {2010}, publisher = {Springer}, note = {Peter Landin Prize for the best paper at IFL 2010} } @inproceedings{Nilsson2010a, author = {Henrik Nilsson and George Giorgidze}, title = {Exploiting Structural Dynamism in {F}unctional {H}ybrid {M}odelling for Simulation of Ideal Diodes}, booktitle = {Proceedings of the 7th EUROSIM Congress on Modelling and Simulation, Prague, Czech Republic}, year = {2010}, publisher = {Czech Technical University Publishing House}, isbn = {978-80-01-04589-3} } @inproceedings{Giorgidze2010a, author = {George Giorgidze and Henrik Nilsson}, title = {Mixed-level Embedding and {JIT} Compilation for an Iteratively Staged {DSL}}, booktitle = {Revised selected papers of the 19th international workshop on Functional and (Constraint) Logic Programming, Madrid, Spain}, year = {2010}, volume = {6559}, isbn = {978-3-642-20774-7}, series = {Lecture Notes in Computer Science}, publisher = {Springer} } @inproceedings{Giorgidze2009a, author = {George Giorgidze and Henrik Nilsson}, title = {Higher-Order Non-Causal Modelling and Simulation of Structurally Dynamic Systems}, booktitle = {Proceedings of the 7th International Modelica Conference, Como, Italy}, doi = {http://dx.doi.org/10.3384/ecp09430137}, isbn = {978-91-7393-513-5}, publisher = {Link{\"o}ping University Electronic Press}, year = {2009} } @inproceedings {Giorgidze2008c, author = {George Giorgidze and Henrik Nilsson}, title = {Embedding a {F}unctional {H}ybrid {M}odelling Language in {H}askell}, booktitle = {Revised selected papers of the 20th international symposium on Implementation and Application of Functional Languages, Hatfield, England}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {5836}, year = {2008} } @mastersthesis{Giorgidze2008b, author = {George Giorgidze}, school = {Department of Computer Science and Engineering, Chalmers University of Technology and G{\"o}teborg University}, title = {Modular Synthesizer Programming in {H}askell}, type = {Master of Science Thesis}, address = {G{\"o}teborg, Sweden}, year = {2008} } @inproceedings {Giorgidze2008a, author = {George Giorgidze and Henrik Nilsson}, title = {Switched-On {Y}ampa: declarative programming of modular synthesizers}, booktitle = {Proceedings of the 10th international symposium on Practical Aspects of Declarative Languages, San Francisco, CA, USA}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {4902}, doi = {http://dx.doi.org/10.1007/978-3-540-77442-6_19}, isbn = {3-540-77441-6, 978-3-540-77441-9}, year = {2008} } @inproceedings{Giorgidze2007a, author = {George Giorgidze and Henrik Nilsson}, title = {Demo outline: {S}witched-on {Y}ampa}, booktitle = {Proceedings of the ACM SIGPLAN Haskell workshop, Freiburg, Germany}, year = {2007}, doi = {http://doi.acm.org/10.1145/1291201.1291213}, isbn = {978-1-59593-674-5}, publisher = {ACM} }