@inproceedings{OliveiraHL06, title = {Extensible and modular generics for the masses}, author = {Bruno C. d. S. Oliveira and Ralf Hinze and Andres Löh}, year = {2006}, tags = {C++}, researchr = {https://researchr.org/publication/OliveiraHL06}, cites = {0}, citedby = {0}, pages = {199-216}, booktitle = {sfp}, } @inproceedings{LohCJ03, title = {Dependency-style generic Haskell}, author = {Andres Löh and Dave Clarke and Johan Jeuring}, year = {2003}, doi = {10.1145/944705.944719}, url = {http://doi.acm.org/10.1145/944705.944719}, tags = {Haskell}, researchr = {https://researchr.org/publication/LohCJ03}, cites = {0}, citedby = {0}, pages = {141-152}, booktitle = {ICFP}, } @inproceedings{HinzeL06, title = { Scrap Your Boilerplate Revolutions}, author = {Ralf Hinze and Andres Löh}, year = {2006}, doi = {10.1007/11783596_13}, url = {http://dx.doi.org/10.1007/11783596_13}, tags = {rule-based, generic programming, data-flow programming, data-flow, algebra, programming, systematic-approach}, researchr = {https://researchr.org/publication/HinzeL06}, cites = {0}, citedby = {0}, pages = {180-208}, booktitle = {mpc}, } @inproceedings{LeijenL05, title = {Qualified types for MLF}, author = {Daan Leijen and Andres Löh}, year = {2005}, doi = {10.1145/1086365.1086385}, url = {http://doi.acm.org/10.1145/1086365.1086385}, researchr = {https://researchr.org/publication/LeijenL05}, cites = {0}, citedby = {0}, pages = {144-155}, booktitle = {ICFP}, } @inproceedings{DolstraL08, title = {NixOS: a purely functional Linux distribution}, author = {Eelco Dolstra and Andres Löh}, year = {2008}, doi = {10.1145/1411204.1411255}, url = {http://doi.acm.org/10.1145/1411204.1411255}, tags = {meta-model, modeling language, language modeling, Meta-Environment, state machines}, researchr = {https://researchr.org/publication/DolstraL08}, cites = {0}, citedby = {0}, pages = {367-378}, booktitle = {ICFP}, } @inproceedings{1782896, title = {Comparing approaches to generic programming in Haskell}, author = {Ralf Hinze and Johan Jeuring and Andres Löh}, year = {2007}, doi = {10.1.1.74.7121}, tags = {generic programming, Haskell, programming, systematic-approach}, researchr = {https://researchr.org/publication/1782896}, cites = {0}, citedby = {0}, booktitle = {SSDGP'06: Proceedings of the 2006 international conference on Datatype-generic programming}, } @article{HinzeL09, title = {Generic programming in 3D}, author = {Ralf Hinze and Andres Löh}, year = {2009}, doi = {10.1016/j.scico.2007.10.006}, url = {http://dx.doi.org/10.1016/j.scico.2007.10.006}, tags = {generic programming, data-flow programming, data-flow, programming, design, systematic-approach}, researchr = {https://researchr.org/publication/HinzeL09}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {74}, number = {8}, pages = {590-628}, } @inproceedings{DolstraHHHJLLMRS08, title = {Report on the tenth ICFP programming contest}, author = {Eelco Dolstra and Jurriaan Hage and Bastiaan Heeren and Stefan Holdermans and Johan Jeuring and Andres Löh and Clara Löh and Arie Middelkoop and Alexey Rodriguez and John van Schie}, year = {2008}, doi = {10.1145/1411204.1411259}, url = {http://doi.acm.org/10.1145/1411204.1411259}, tags = {programming languages, C++, programming}, researchr = {https://researchr.org/publication/DolstraHHHJLLMRS08}, cites = {0}, citedby = {0}, pages = {397-408}, booktitle = {ICFP}, } @article{BaarsLS04, title = {Parsing permutation phrases}, author = {Arthur I. Baars and Andres Löh and S. Doaitse Swierstra}, year = {2004}, doi = {10.1017/S0956796804005143}, url = {http://dx.doi.org/10.1017/S0956796804005143}, tags = {parsing}, researchr = {https://researchr.org/publication/BaarsLS04}, cites = {0}, citedby = {0}, journal = {JFP}, volume = {14}, number = {6}, pages = {635-646}, } @article{HinzeJL04, title = {Type-indexed data types}, author = {Ralf Hinze and Johan Jeuring and Andres Löh}, year = {2004}, doi = {10.1016/j.scico.2003.07.001}, url = {http://dx.doi.org/10.1016/j.scico.2003.07.001}, tags = {data-flow}, researchr = {https://researchr.org/publication/HinzeJL04}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {51}, number = {1-2}, pages = {117-151}, } @inproceedings{HinzeJL02, title = {Type-Indexed Data Types}, author = {Ralf Hinze and Johan Jeuring and Andres Löh}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2386/23860148.htm}, tags = {data-flow}, researchr = {https://researchr.org/publication/HinzeJL02}, cites = {0}, citedby = {0}, pages = {148-174}, booktitle = {mpc}, } @inproceedings{LLL09diff, title = {Type-safe diff for families of datatypes}, author = {Eelco Lempsink and Sean Leather and Andres Löh}, year = {2009}, doi = {10.1145/1596614.1596624}, url = {http://doi.acm.org/10.1145/1596614.1596624}, tags = {programming languages, data-flow language, generic programming, abstract syntax, functional programming, Haskell, type system, data-flow programming, data-flow, programming, systematic-approach}, researchr = {https://researchr.org/publication/LLL09diff}, cites = {0}, citedby = {0}, booktitle = {WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming}, } @inproceedings{LohH06, title = {Open data types and open functions}, author = {Andres Löh and Ralf Hinze}, year = {2006}, doi = {10.1145/1140335.1140352}, url = {http://doi.acm.org/10.1145/1140335.1140352}, tags = {programming languages, semantics, expression problem, rule-based, data-flow language, pattern language, generic programming, exceptions, functional programming, Haskell, data-flow programming, data-flow, source-to-source, pattern matching, programming, extensible language, open-source, domain-specific language}, researchr = {https://researchr.org/publication/LohH06}, cites = {0}, citedby = {0}, pages = {133-144}, booktitle = {ppdp}, } @inproceedings{HinzeJL06, title = {Typed Contracts for Functional Programming}, author = {Ralf Hinze and Johan Jeuring and Andres Löh}, year = {2006}, doi = {10.1007/11737414_15}, url = {http://dx.doi.org/10.1007/11737414_15}, tags = {programming languages, object-oriented programming, meta programming, data-flow language, generic programming, software components, contracts, embedded software, functional programming, software component, language design, Haskell, data-flow programming, data-flow, algebra, programming, subject-oriented programming, Meta-Environment, software contracts, design, systematic-approach, feature-oriented programming, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/HinzeJL06}, cites = {0}, citedby = {0}, pages = {208-225}, booktitle = {FLOPS}, } @inproceedings{HoldermansJLR06, title = {Generic Views on Data Types}, author = {Stefan Holdermans and Johan Jeuring and Andres Löh and Alexey Rodriguez}, year = {2006}, doi = {10.1007/11783596_14}, url = {http://dx.doi.org/10.1007/11783596_14}, tags = {programming languages, data-flow language, pattern language, generic programming, functional programming, Haskell, data-flow programming, data-flow, programming, systematic-approach}, researchr = {https://researchr.org/publication/HoldermansJLR06}, cites = {0}, citedby = {0}, pages = {209-234}, booktitle = {mpc}, } @misc{Clarke01thegeneric, title = {The Generic Haskell User's Guide}, author = {Dave Clarke and Johan Jeuring and Andres Löh}, year = {2001}, tags = {Haskell}, researchr = {https://researchr.org/publication/Clarke01thegeneric}, cites = {0}, citedby = {0}, } @inproceedings{GrohneLV14, title = {Formalizing Semantic Bidirectionalization with Dependent Types}, author = {Helmut Grohne and Andres Löh and Janis Voigtländer}, year = {2014}, url = {http://ceur-ws.org/Vol-1133/paper-12.pdf}, researchr = {https://researchr.org/publication/GrohneLV14}, cites = {0}, citedby = {0}, pages = {75-81}, booktitle = {edbt}, } @inproceedings{ClarkeL02, title = {Generic Haskell, Specifically}, author = {Dave Clarke and Andres Löh}, year = {2002}, tags = {Haskell}, researchr = {https://researchr.org/publication/ClarkeL02}, cites = {0}, citedby = {0}, pages = {21-47}, booktitle = {ifip2-1}, } @article{BrandesKLWW00, title = {Dynamic WWW Structures in 3D}, author = {Ulrik Brandes and Vanessa Kääb and Andres Löh and Dorothea Wagner and Thomas Willhalm}, year = {2000}, url = {http://www.cs.brown.edu/publications/jgaa/accepted/00/Brandes+00.4.3.pdf}, researchr = {https://researchr.org/publication/BrandesKLWW00}, cites = {0}, citedby = {0}, journal = {jgaa}, volume = {4}, number = {3}, pages = {183-191}, } @inproceedings{HinzeLO06, title = { Scrap Your Boilerplate Reloaded}, author = {Ralf Hinze and Andres Löh and Bruno C. d. S. Oliveira}, year = {2006}, doi = {10.1007/11737414_3}, url = {http://dx.doi.org/10.1007/11737414_3}, tags = {generic programming, traversal, Haskell, data-flow programming, data-flow, C++, algebra, programming, systematic-approach}, researchr = {https://researchr.org/publication/HinzeLO06}, cites = {0}, citedby = {0}, pages = {13-29}, booktitle = {FLOPS}, } @proceedings{haskell:2006, title = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006}, year = {2006}, tags = {Haskell}, researchr = {https://researchr.org/publication/haskell%3A2006}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006}, conference = {haskell}, editor = {Andres Löh}, publisher = {ACM}, isbn = {1-59593-489-8}, }