BibTeX records: Michael Sperber

download as .bib file

@inproceedings{DBLP:conf/icfp/BressonS17,
  author    = {Jean Bresson and
               Michael Sperber},
  title     = {{FARM} 2017 demo summary},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Functional
               Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September
               9, 2017},
  pages     = {48},
  year      = {2017},
  crossref  = {DBLP:conf/icfp/2017farm},
  url       = {https://doi.org/10.1145/3122938.3122945},
  doi       = {10.1145/3122938.3122945},
  timestamp = {Tue, 11 Dec 2018 18:09:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/BressonS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2017farm,
  editor    = {Michael Sperber and
               Jean Bresson},
  title     = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Functional
               Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September
               9, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3122938},
  isbn      = {978-1-4503-5180-5},
  timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2017farm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SperberJ16,
  author    = {Michael Sperber and
               David Janin},
  title     = {{FARM} 2016 demo summary},
  booktitle = {Proceedings of the 4th International Workshop on Functional Art, Music,
               Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24,
               2016},
  pages     = {60},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016farm},
  url       = {https://doi.org/10.1145/2975980.2975988},
  doi       = {10.1145/2975980.2975988},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/SperberJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016farm,
  editor    = {David Janin and
               Michael Sperber},
  title     = {Proceedings of the 4th International Workshop on Functional Art, Music,
               Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2975980},
  doi       = {10.1145/2975980},
  isbn      = {978-1-4503-4432-6},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016farm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/EriksenSM15,
  author    = {Marius Eriksen and
               Michael Sperber and
               Anil Madhavapeddy},
  title     = {CUFP'13 scribe's report},
  journal   = {J. Funct. Program.},
  volume    = {25},
  year      = {2015},
  url       = {https://doi.org/10.1017/S0956796815000052},
  doi       = {10.1017/S0956796815000052},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/EriksenSM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Sperber14,
  author    = {Michael Sperber},
  title     = {\emph{Systematic Program Design: From Clarity to Efficiency}, by Yanhong
               Annie Liu, Cambridge University Press, 2013, {ISBN:} 978-1-107-03660-4},
  journal   = {J. Funct. Program.},
  volume    = {24},
  number    = {1},
  pages     = {128--130},
  year      = {2014},
  url       = {https://doi.org/10.1017/S0956796813000269},
  doi       = {10.1017/S0956796813000269},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/Sperber14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SperberA14,
  author    = {Michael Sperber and
               Lennart Augustsson},
  title     = {Special Issue on Run-Time Systems and Target Platforms for Functional
               Languages: Editorial},
  journal   = {J. Funct. Program.},
  volume    = {24},
  number    = {6},
  pages     = {612},
  year      = {2014},
  url       = {https://doi.org/10.1017/S0956796815000039},
  doi       = {10.1017/S0956796815000039},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/SperberA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014farm,
  editor    = {Alex McLean and
               Michael Sperber and
               Henrik Nilsson},
  title     = {Proceedings of the 2nd {ACM} {SIGPLAN} international workshop on Functional
               art, music, modeling {\&} design, FARM@ICFP 2014, Gothenburg,
               Sweden, September 1-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2633638},
  doi       = {10.1145/2633638},
  isbn      = {978-1-4503-3039-8},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2014farm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SperberM13,
  author    = {Michael Sperber and
               Anil Madhavapeddy},
  title     = {Commercial users of functional programming workshop report},
  journal   = {J. Funct. Program.},
  volume    = {23},
  number    = {6},
  pages     = {701--712},
  year      = {2013},
  url       = {https://doi.org/10.1017/S0956796813000257},
  doi       = {10.1017/S0956796813000257},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/SperberM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/McCabeS13,
  author    = {Frank McCabe and
               Michael Sperber},
  title     = {Feel different on the Java platform: the star programming language},
  booktitle = {Proceedings of the 2013 International Conference on Principles and
               Practices of Programming on the Java Platform: Virtual Machines, Languages,
               and Tools, Stuttgart, Germany, September 11-13, 2013},
  pages     = {89--100},
  year      = {2013},
  crossref  = {DBLP:conf/pppj/2013},
  url       = {https://doi.org/10.1145/2500828.2500837},
  doi       = {10.1145/2500828.2500837},
  timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/McCabeS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SperberC12,
  author    = {Michael Sperber and
               Marcus Crestani},
  title     = {Form over function: teaching beginners how to construct programs},
  booktitle = {Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming,
               Scheme 2012, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {81--89},
  year      = {2012},
  crossref  = {DBLP:conf/icfp/2012scheme},
  url       = {https://doi.org/10.1145/2661103.2661113},
  doi       = {10.1145/2661103.2661113},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/SperberC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/didactica/BorstlerS10,
  author    = {J{\"{u}}rgen B{\"{o}}rstler and
               Michael Sperber},
  title     = {Systematisches Programmieren in der Anf{\"{a}}ngerausbildung},
  journal   = {Informatica Didactica},
  volume    = {8},
  year      = {2010},
  url       = {http://www.informatica-didactica.de/cmsmadesimple/index.php?page=BoerstlerSperber2010},
  timestamp = {Mon, 07 Nov 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/didactica/BorstlerS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/CrestaniS10,
  author    = {Marcus Crestani and
               Michael Sperber},
  title     = {Erfolgreiche Anf{\"{a}}ngerausbildung im Programmieren},
  booktitle = {Informatik 2010: Service Science - Neue Perspektiven f{\"{u}}r
               die Informatik, Beitr{\"{a}}ge der 40. Jahrestagung der Gesellschaft
               f{\"{u}}r Informatik e.V. (GI), Band 2, 27.09. - 1.10.2010, Leipzig,
               Deutschland},
  pages     = {921--926},
  year      = {2010},
  crossref  = {DBLP:conf/gi/2010-2},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings176/article6069.html},
  timestamp = {Fri, 09 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/CrestaniS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CrestaniS10,
  author    = {Marcus Crestani and
               Michael Sperber},
  title     = {Experience report: growing programming languages for beginning students},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {229--234},
  year      = {2010},
  crossref  = {DBLP:conf/icfp/2010},
  url       = {https://doi.org/10.1145/1863543.1863576},
  doi       = {10.1145/1863543.1863576},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/CrestaniS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HookS08,
  author    = {James Hook and
               Michael Sperber},
  title     = {The {ICFP} developer conference 2008},
  journal   = {{SIGPLAN} Notices},
  volume    = {43},
  number    = {5},
  pages     = {3--4},
  year      = {2008},
  url       = {https://doi.org/10.1145/1402227.1402229},
  doi       = {10.1145/1402227.1402229},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/HookS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BieniusaDHTWGSCKK08,
  author    = {Annette Bieniusa and
               Markus Degen and
               Phillip Heidegger and
               Peter Thiemann and
               Stefan Wehr and
               Martin Gasbichler and
               Michael Sperber and
               Marcus Crestani and
               Herbert Klaeren and
               Eric Knauel},
  title     = {Htdp and dmda in the battlefield: a case study in first-year programming
               instruction},
  booktitle = {Proceedings of the 2008 international workshop on Functional and declarative
               programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September
               20 - 28, 2008},
  pages     = {1--12},
  year      = {2008},
  crossref  = {DBLP:conf/icfp/2008fdpe},
  url       = {https://doi.org/10.1145/1411260.1411262},
  doi       = {10.1145/1411260.1411262},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/BieniusaDHTWGSCKK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Sperber07,
  author    = {Michael Sperber},
  title     = {It's all about being right: lessons from the R\({}^{\mbox{6}}\)RS
               process},
  booktitle = {International Lisp Conference, {ILC} 2007, Cambridge, UK, April 1-4,
               2007},
  pages     = {7},
  year      = {2007},
  crossref  = {DBLP:conf/lfp/2007},
  url       = {https://doi.org/10.1145/1622123.1622131},
  doi       = {10.1145/1622123.1622131},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/Sperber07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GasbichlerS05,
  author    = {Martin Gasbichler and
               Michael Sperber},
  title     = {Integrating User-Level Threads with Processes in Scsh},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {18},
  number    = {3-4},
  pages     = {327--354},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10990-005-4879-2},
  doi       = {10.1007/s10990-005-4879-2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/GasbichlerS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GasbichlerS02,
  author    = {Martin Gasbichler and
               Michael Sperber},
  title     = {Final shift for call/cc: : direct implementation of shift and reset},
  booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
               USA, October 4-6, 2002.},
  pages     = {271--282},
  year      = {2002},
  crossref  = {DBLP:conf/icfp/2002},
  url       = {https://doi.org/10.1145/581478.581504},
  doi       = {10.1145/581478.581504},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/GasbichlerS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NeubauerTGS02,
  author    = {Matthias Neubauer and
               Peter Thiemann and
               Martin Gasbichler and
               Michael Sperber},
  title     = {Functional logic overloading},
  booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Portland, OR, USA, January
               16-18, 2002},
  pages     = {233--244},
  year      = {2002},
  crossref  = {DBLP:conf/popl/2002},
  url       = {https://doi.org/10.1145/503272.503294},
  doi       = {10.1145/503272.503294},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/NeubauerTGS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Sperber01,
  author    = {Michael Sperber},
  title     = {Computer-assisted lighting design and control},
  school    = {University of T{\"{u}}bingen, Germany},
  year      = {2001},
  url       = {http://w210.ub.uni-tuebingen.de/dbt/volltexte/2001/266/index.html},
  urn       = {urn:nbn:de:bsz:21-opus-2666},
  timestamp = {Thu, 19 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Sperber01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NeubauerS01,
  author    = {Matthias Neubauer and
               Michael Sperber},
  title     = {Down with Emacs Lisp: Dynamic Scope Analysis},
  booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
               September 3-5, 2001.},
  pages     = {38--49},
  year      = {2001},
  crossref  = {DBLP:conf/icfp/2001},
  url       = {https://doi.org/10.1145/507635.507642},
  doi       = {10.1145/507635.507642},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/NeubauerS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sperber01,
  author    = {Michael Sperber},
  title     = {Developing a Stage Lighting System from Scratch},
  booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
               September 3-5, 2001.},
  pages     = {122--133},
  year      = {2001},
  crossref  = {DBLP:conf/icfp/2001},
  url       = {https://doi.org/10.1145/507635.507652},
  doi       = {10.1145/507635.507652},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/Sperber01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SperberT00,
  author    = {Michael Sperber and
               Peter Thiemann},
  title     = {Generation of {LR} parsers by partial evaluation},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {22},
  number    = {2},
  pages     = {224--264},
  year      = {2000},
  url       = {https://doi.org/10.1145/349214.349219},
  doi       = {10.1145/349214.349219},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/SperberT00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/SperberTK97,
  author    = {Michael Sperber and
               Peter Thiemann and
               Herbert Klaeren},
  title     = {Distributed partial evaluation},
  booktitle = {Proceedings of the 2nd International Workshop on Parallel Symbolic
               Computation, {PASCO} 1997, July 20-22, 1997, Kihei, Hawaii, {USA}},
  pages     = {80--87},
  year      = {1997},
  crossref  = {DBLP:conf/cap/1997},
  url       = {https://doi.org/10.1145/266670.266695},
  doi       = {10.1145/266670.266695},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cap/SperberTK97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/ThiemannS97,
  author    = {Peter Thiemann and
               Michael Sperber},
  title     = {Program Generation with Class},
  booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
               1997},
  pages     = {582--591},
  year      = {1997},
  crossref  = {DBLP:conf/gi/1997},
  url       = {https://doi.org/10.1007/978-3-642-60831-5\_78},
  doi       = {10.1007/978-3-642-60831-5\_78},
  timestamp = {Tue, 23 May 2017 01:10:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gi/ThiemannS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SperberT97,
  author    = {Michael Sperber and
               Peter Thiemann},
  title     = {Two for the Price of One: Composing Partial Evaluation and Compilation},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
               Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
               1997},
  pages     = {215--225},
  year      = {1997},
  crossref  = {DBLP:conf/pldi/1997},
  url       = {https://doi.org/10.1145/258915.258935},
  doi       = {10.1145/258915.258935},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/SperberT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Sperber96,
  author    = {Michael Sperber},
  title     = {Self-Applicable Online Partial Evaluation},
  booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
               February 12-16, 1996, Selected Papers},
  pages     = {465--480},
  year      = {1996},
  crossref  = {DBLP:conf/dagstuhl/1996pe},
  url       = {https://doi.org/10.1007/3-540-61580-6\_23},
  doi       = {10.1007/3-540-61580-6\_23},
  timestamp = {Sat, 16 Sep 2017 12:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/Sperber96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ThiemannS96,
  author    = {Peter Thiemann and
               Michael Sperber},
  title     = {Polyvariant Expansion and Compiler Generators},
  booktitle = {Perspectives of System Informatics, Second International Andrei Ershov
               Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
               1996, Proceedings},
  pages     = {285--296},
  year      = {1996},
  crossref  = {DBLP:conf/ershov/1996},
  url       = {https://doi.org/10.1007/3-540-62064-8\_24},
  doi       = {10.1007/3-540-62064-8\_24},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/ThiemannS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SperberT96,
  author    = {Michael Sperber and
               Peter Thiemann},
  title     = {Realistic Compilation by Partial Evaluation},
  booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
               Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
               May 21-24, 1996},
  pages     = {206--214},
  year      = {1996},
  crossref  = {DBLP:conf/pldi/1996},
  url       = {https://doi.org/10.1145/231379.231419},
  doi       = {10.1145/231379.231419},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/SperberT96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SperberGT96,
  author    = {Michael Sperber and
               Robert Gl{\"{u}}ck and
               Peter Thiemann},
  title     = {Bootstrapping higher-order program transformers from interpreters},
  booktitle = {Proceedings of the 1996 {ACM} Symposium on Applied Computing, SAC'96,
               Philadelphia, PA, USA, February 17-19, 1996},
  pages     = {408--413},
  year      = {1996},
  crossref  = {DBLP:conf/sac/1996},
  url       = {https://doi.org/10.1145/331119.331417},
  doi       = {10.1145/331119.331417},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/SperberGT96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SperberT95,
  author    = {Michael Sperber and
               Peter Thiemann},
  title     = {The Essence of {LR} Parsing},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-Based Program Manipulation, La Jolla, California, USA,
               June 21-23, 1995},
  pages     = {146--155},
  year      = {1995},
  crossref  = {DBLP:conf/pepm/1995},
  url       = {https://doi.org/10.1145/215465.215579},
  doi       = {10.1145/215465.215579},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/SperberT95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2017farm,
  editor    = {Michael Sperber and
               Jean Bresson},
  title     = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Functional
               Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September
               9, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3122938},
  isbn      = {978-1-4503-5180-5},
  timestamp = {Tue, 11 Dec 2018 18:09:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2017farm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016farm,
  editor    = {David Janin and
               Michael Sperber},
  title     = {Proceedings of the 4th International Workshop on Functional Art, Music,
               Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2975980},
  doi       = {10.1145/2975980},
  isbn      = {978-1-4503-4432-6},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016farm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2013,
  editor    = {Martin Pl{\"{u}}micke and
               Walter Binder},
  title     = {Proceedings of the 2013 International Conference on Principles and
               Practices of Programming on the Java Platform: Virtual Machines, Languages,
               and Tools, Stuttgart, Germany, September 11-13, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2500828},
  doi       = {10.1145/2500828},
  isbn      = {978-1-4503-2111-2},
  timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012scheme,
  editor    = {Olivier Danvy},
  title     = {Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming,
               Scheme 2012, Copenhagen, Denmark, September 9-15, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2661103},
  doi       = {10.1145/2661103},
  isbn      = {978-1-4503-1895-2},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2012scheme},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2010-2,
  editor    = {Klaus{-}Peter F{\"{a}}hnrich and
               Bogdan Franczyk},
  title     = {Informatik 2010: Service Science - Neue Perspektiven f{\"{u}}r
               die Informatik, Beitr{\"{a}}ge der 40. Jahrestagung der Gesellschaft
               f{\"{u}}r Informatik e.V. (GI), Band 2, 27.09. - 1.10.2010, Leipzig,
               Deutschland},
  series    = {{LNI}},
  volume    = {176},
  publisher = {{GI}},
  year      = {2010},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings176.html},
  isbn      = {978-3-88579-270-3},
  timestamp = {Tue, 15 Mar 2016 16:44:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2010-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010,
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-794-3},
  timestamp = {Fri, 08 Oct 2010 07:46:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008fdpe,
  editor    = {Frank Huch and
               Adam Parkin},
  title     = {Proceedings of the 2008 international workshop on Functional and declarative
               programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September
               20 - 28, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1411260},
  isbn      = {978-1-60558-068-5},
  timestamp = {Thu, 20 Nov 2014 18:18:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2008fdpe},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/2007,
  editor    = {Carl Shapiro and
               Pascal Costanza and
               Jon L. White},
  title     = {International Lisp Conference, {ILC} 2007, Cambridge, UK, April 1-4,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1622123},
  isbn      = {978-1-59593-618-9},
  timestamp = {Mon, 09 Jul 2018 08:59:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2002,
  editor    = {Mitchell Wand and
               Simon L. {Peyton Jones}},
  title     = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
               USA, October 4-6, 2002},
  publisher = {{ACM}},
  year      = {2002},
  isbn      = {1-58113-487-8},
  timestamp = {Tue, 11 Jun 2013 13:49:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2002,
  editor    = {John Launchbury and
               John C. Mitchell},
  title     = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Portland, OR, USA, January
               16-18, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=503272},
  isbn      = {1-58113-450-9},
  timestamp = {Mon, 18 Mar 2013 08:38:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2001,
  editor    = {Benjamin C. Pierce},
  title     = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
               September 3-5, 2001},
  publisher = {{ACM}},
  year      = {2001},
  isbn      = {1-58113-415-0},
  timestamp = {Tue, 11 Jun 2013 13:50:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cap/1997,
  editor    = {Hoon Hong and
               Erich Kaltofen and
               Markus A. Hitz},
  title     = {Proceedings of the 2nd International Workshop on Parallel Symbolic
               Computation, {PASCO} 1997, July 20-22, 1997, Kihei, Hawaii, {USA}},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-951-3},
  timestamp = {Tue, 05 Apr 2011 14:11:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cap/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/1997,
  editor    = {Matthias Jarke and
               Klaus Pasedach and
               Klaus Pohl},
  title     = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
               1997},
  series    = {Informatik Aktuell},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/978-3-642-60831-5},
  doi       = {10.1007/978-3-642-60831-5},
  isbn      = {3-540-63066-X},
  timestamp = {Tue, 23 May 2017 01:10:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gi/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1997,
  editor    = {Marina C. Chen and
               Ron K. Cytron and
               A. Michael Berman},
  title     = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
               Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
               1997},
  publisher = {{ACM}},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=258915},
  isbn      = {0-89791-907-6},
  timestamp = {Mon, 18 Jun 2018 20:51:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1996pe,
  editor    = {Olivier Danvy and
               Robert Gl{\"{u}}ck and
               Peter Thiemann},
  title     = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
               February 12-16, 1996, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1110},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61580-6},
  doi       = {10.1007/3-540-61580-6},
  isbn      = {3-540-61580-6},
  timestamp = {Sat, 16 Sep 2017 12:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/1996pe},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1996,
  editor    = {Dines Bj{\o}rner and
               Manfred Broy and
               Igor V. Pottosin},
  title     = {Perspectives of System Informatics, Second International Andrei Ershov
               Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
               1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1181},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-62064-8},
  doi       = {10.1007/3-540-62064-8},
  isbn      = {3-540-62064-8},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1996,
  editor    = {Charles N. Fischer},
  title     = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
               Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
               May 21-24, 1996},
  publisher = {{ACM}},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=231379},
  isbn      = {0-89791-795-2},
  timestamp = {Mon, 18 Jun 2018 20:50:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/1996,
  editor    = {K. M. George and
               Janice H. Carroll and
               Dave Oppenheim and
               Jim Hightower},
  title     = {Proceedings of the 1996 {ACM} Symposium on Applied Computing, SAC'96,
               Philadelphia, PA, USA, February 17-19, 1996},
  publisher = {{ACM}},
  year      = {1996},
  url       = {https://doi.org/10.1145/331119},
  doi       = {10.1145/331119},
  isbn      = {0-89791-820-7},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1995,
  editor    = {Neil D. Jones},
  title     = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-Based Program Manipulation, La Jolla, California, USA,
               June 21-23, 1995},
  publisher = {{ACM} Press},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=215465},
  isbn      = {0-89791-720-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier