Search dblp for Publications

export results for "toc:db/conf/els/els2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/els/BleserSNR17,
  author       = {Jonas De Bleser and
                  Quentin Sti{\'{e}}venart and
                  Jens Nicolay and
                  Coen De Roover},
  editor       = {Alberto Riva},
  title        = {Static Taint Analysis of Event-driven Scheme Programs},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {80--87},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.14},
  timestamp    = {Wed, 13 Nov 2019 17:59:17 +0100},
  biburl       = {https://dblp.org/rec/conf/els/BleserSNR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/BrunnerB17,
  author       = {Daniel Brunner and
                  Stephan Brunner},
  editor       = {Alberto Riva},
  title        = {Teaching Students of Engineering some Insights of the Internet of
                  Things using Racket and the RaspberryPi},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {49--50},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.8},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/BrunnerB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Domkin17,
  author       = {Vsevolod Domkin},
  editor       = {Alberto Riva},
  title        = {Loading Multiple Versions of an {ASDF} System in the Same Lisp Image},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {10--18},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.2},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Domkin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/DurandS17,
  author       = {Ir{\`{e}}ne Durand and
                  Robert Strandh},
  editor       = {Alberto Riva},
  title        = {Fast, Maintainable, and Portable Sequence Functions},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {64--71},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.12},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/DurandS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/DurandS17a,
  author       = {Ir{\`{e}}ne Durand and
                  Robert Strandh},
  editor       = {Alberto Riva},
  title        = {Removing Redundant Tests by Replicating Control Paths},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {106--112},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.17},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/DurandS17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/GoldmanPR17,
  author       = {Robert Goldman and
                  Elias Pipping and
                  Fran{\c{c}}ois{-}Ren{\'{e}} Rideau},
  editor       = {Alberto Riva},
  title        = {Delivering Common Lisp Applications with {ASDF} 3.3},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {42--43},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.6},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/GoldmanPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Hafner17,
  author       = {Nicolas Hafner},
  editor       = {Alberto Riva},
  title        = {Radiance - a Web Application Environment},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {44--48},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.7},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Hafner17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/HeisigN17,
  author       = {Marco Heisig and
                  Nicolas Neuss},
  editor       = {Alberto Riva},
  title        = {Parallelizing Femlisp},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {54--55},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.10},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/HeisigN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Herda17,
  author       = {Michal Herda},
  editor       = {Alberto Riva},
  title        = {Common Lisp UltraSpec - {A} Project For Modern Common Lisp Documentation},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {4--9},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.1},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Herda17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/LierSS17,
  author       = {Alexander Lier and
                  Kai Selgrad and
                  Marc Stamminger},
  editor       = {Alberto Riva},
  title        = {{DIY} Meta Languages with Common Lisp},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {72--79},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.13},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/LierSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Losh17,
  author       = {Steve Losh},
  editor       = {Alberto Riva},
  title        = {General Game Playing in Common Lisp},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {58--61},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.11},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Losh17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Marty17,
  author       = {Alain Marty},
  editor       = {Alberto Riva},
  title        = {On the Lambda Way},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {90--97},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.15},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Marty17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/NewtonVC17,
  author       = {Jim E. Newton and
                  Didier Verna and
                  Maximilien Colange},
  editor       = {Alberto Riva},
  title        = {Programmatic Manipulation of Common Lisp Type Specifiers},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {28--35},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.4},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/NewtonVC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Peschanski17,
  author       = {Fr{\'{e}}d{\'{e}}ric Peschanski},
  editor       = {Alberto Riva},
  title        = {A Lisp Way to Type Theory and Formal Proofs},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {20--27},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.3},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Peschanski17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Raskin17,
  author       = {Michael A. Raskin},
  editor       = {Alberto Riva},
  title        = {Writing a Portable Code Walker in Common Lisp},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {98--105},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://doi.org/10.5281/zenodo.3254669},
  doi          = {10.5281/ZENODO.3254669},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Raskin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/SeppkeD17,
  author       = {Benjamin Seppke and
                  Leonie S. Dreschler{-}Fischer},
  editor       = {Alberto Riva},
  title        = {Interactive Functional Medical Image Analysis},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {51--52},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.9},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/SeppkeD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/els/Wood17,
  author       = {Alexander Wood},
  editor       = {Alberto Riva},
  title        = {Type Inference in Cleavir},
  booktitle    = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  pages        = {36--39},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf\#section.0.5},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/Wood17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/els/2017,
  editor       = {Alberto Riva},
  title        = {Proceedings of the 10th European Lisp Symposium {(ELS} 2017), Brussels,
                  Belgium, April 3-4, 2017},
  publisher    = {{ELSAA}},
  year         = {2017},
  url          = {https://european-lisp-symposium.org/static/proceedings/2017.pdf},
  isbn         = {978-2-9557474-1-4},
  timestamp    = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/els/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.